What do u betekenen door het ontwerp voor verificatie

[lufeng21cn]

net als de bewering verificatiemethode, kan het je een handig middel is om uw ontwerp te verifiëren.

 

[jackson_peng]

in eenvoudige woorden, gebruik "Assertion" in het verbeteren van uw debug tijd. Net zoals zij reeds doet in C.

 

[sarath51]

Verificatieproces requries. Verifiaction gedrag modellen modellen bank en test cases, met andere woorden kan worden gezegd dat het ontwerpen van een Test Becch en het bouwen van een hoog niveau trasactors over de gedragsmodellen zodanig dat de test gevallen kan worden geschreven op een efficiënte manier. De becn kunnen ook iuntergrated monotirs en checkers gebruik van beweringen en andere huis houden van modules