I understand that Cadence Incisive Enterprise Verifier is for Assertion Based Verification, it has within it Incisive Enterprise Simulator which lets the tool generate testbench stimulus from assertions and thus gives dual benefit of formal and functional verification. My doubt is if I can use the tool exclusively for functional verification? That is I have a set of test benches that are already written, and I need to just simulate it just like we do in modelsim. Is it possible to do in Incisive Enterprise Verifier? If possible, please give insights on where I can refer on how to do that. I can't find details on this topic in the manual or user guide.
↧