Hva gjør u mener med design for verifikasjon

[lufeng21cn]

som påstanden verifikasjonsmetode, kan det gi deg en praktisk avenue å bekrefte design.

 

[jackson_peng]

i lett ord, bruk "Assertion" i bedre debug tid. Som den gjør allerede i C.

 

[sarath51]

Verifiseringen requries. Verifiaction atferd modeller modeller benk og testtilfeller Med andre ord kan det sies at å designe en test Becch og bygge høye nivåer trasactors over atferdsmessige modeller slik at testen tilfeller kan skrives på effektiv måte. Den becn kan også omfatte iuntergrated monotirs og dam med påstander og andre hus holde moduler