Does Func.Simulation require test vectors...?

[giggs11]

hi guys,

appreciate the help. just one final query....during functional simulation, does VCS operate similar to Formal verification...?

Would VCS require test vectors...? because i know that in Formal verification, the functionality is verified through comparison between HDL design and gate level netlist.

Thanks.

 

[atuo]

The VCS is the dynamic simulation tool and different of the formal verification tool such as Formality, so you need to write the testbench and use the test vector to verify your design.