Can anyone tell me how or point me in the right direction to find out how to convert a verilog netlist to a SPICE netlist for LVS. I have the SPICE model and .cir's for the standard cells.
May try this fomat,
or create a run batch file as well.
#!/bin/csh -f
#
mkdir vlib
cat << EOF > cds.lib
DEFINE vlib ./vlib
EOF
van your_verilog_netlist.vpr -cds cds.lib -lib vlib
#
#
LOGLVS << END
case
tra 2000000
cir your_cdl_or_spi
nver vlib TopMost_Module
con TopMost_Module
sum
x
END
BTW, you may use v2lvs to translate verilog netlist to spice one.