Is Func.Simulation nodig vectoren te testen ...?

[giggs11]

Hi guys,

waarderen de hulp.nog een laatste vraag .... tijdens de functionele simulatie, heeft VCS exploiteren die vergelijkbaar zijn met Formele verificatie ...?

Zou VCS vereisen test vectoren ...?omdat ik weet dat in formele verificatie, de functionaliteit wordt gecontroleerd door middel van vergelijking tussen het ontwerp en de HDL-poort niveau netlist.

Bedankt.

 

[ATUO]

Het VCS is de dynamische simulatie-tool en verschillende van de formele verificatie tool zoals formeel, dus je moet de testbench schrijven en de test vector gebruiken om uw ontwerp te verifiëren.