Assume the Verilog RTL file is: design.v
after the synthesis verilog netlist: design.vg
you may simulate the netlist with the same simulator
, the same testcases, as you simulate the RTL code,
except include the library from the vendor.
Can you make your problem more accurate?
Normally when we say simulation,it means function or gate-level simualtions with our testvectors or test programs.
As for digital,the simulations tools are many,such as Active-HDL,Modelsim,
Debussy,NC-verilog,VCS......
If your synthesis script is good enough I think your netlist synthesis will always pass.
just add sdf back_annotation will conform to the synthesis's timing result.so I think post_layout simulation is more important.