ASIC/FPGA Design and Verification Out Source Services

If only the specman code changed, run the last command only.

1. #!/bin/bash




3. specman -command "load e/pk_pkt_top.e ;write stubs -ncvhdl specman.vhdl"


4. ncvhdl -messages -v93 specman.vhdl ../CODE/globalconstants.vhd ../CODE/stack3.vhd ../CODE/ethernet.vhd ../CODE/crcgenerator.vhd ../CODE/ethernetsnd.vhd ../CODE/arp3.vhd ../CODE/arpsnd.vhd ../CODE/internet.vhd ../CODE/internetsnd.vhd ../CODE/udp.vhd ../CODE/icmp.vhd ../CODE/my_bufg.vhd ../CODE/MEMORY/memory.vhd ../CODE/MEMORY/sync_mem.vhd pk_tb.vhd


5. ncelab -messages ip_stack_TSB:BHV -access +rwc -snapshot pk_snp


6. specrun -p "load e/test_debug_1; test" ncsim -NBASYNC -batch -input pk.tcl pk_snp



7. Use the following to set the simulation seed and required break-points or any other specman commands.
   specrun -p "load e/test_debug_1; test -seed=4;@p.ecom" ncsim -NBASYNC -batch -input pk.tcl pk_snp


8. To invoke the GUI:
   specrun -p "load e/test_debug_1; test -seed=4" ncsim -NBASYNC -gui pk_snp



9. The following is an example for an ecom file:
   set rad dec
   break on error
   break on line 131 in @pk_packet
   

Contact me at:

Also available on this project:

Home	Download Area Specman: how code style affects performance