Generating ATPG Compatible Verilog Netlists

To generate an ATPG compatible netlist using the SystemVerilog Netlister graphical interface:

1. Launch SystemVerilog Netlister.
2. Click Browse in the Design group box to specify a design.
3. Click the Open Option Form button in the Settings group box to specify the netlisting options.
   The SystemVerilog Netlister Options form appears.
4. Select the Verilog tab.
5. Select Create ATPG compatible netlist.
6. Click OK.
7. Click the Netlist button in the Actions group box.

The ATPG compatible netlist is generated.

To generate an ATPG compatible netlist using the SystemVerilog Netlister batch mode:

1. Include the following in the .cdsinit file.
   

   envSetVal("digitalSim.netlisterOpts" "enableVerilogATPG" 'boolean t)

2. Run the following command in the terminal window.
   

   runsv -lib topLib -cell topCell -view config_sv -netlist -rundir runsv_run

The ATPG compatible netlist is generated.

Related Topics

ATPG Compatible Verilog Netlists

Verilog Tab

enableVerilogATPG

useTranForCdsAliasThru

vlogCompatVersion

Return to top