Mitä u tarkoittaa design tarkastusta

[lufeng21cn]

kuten väitteen todentamisen menetelmän, se voi antaa sinulle kätevä avenue tarkistaa suunnittelua.

 

[jackson_peng]

helpoissa sanoja, käytä "väite" on parantaa debug aikaa. Kuten se jo tekee, C.

 

[sarath51]

Todentamismenettelyä requries. Verifiaction käyttäytymismalleja mallit penkki ja testitapaukset Toisin sanoen voidaan sanoa, että suunniteltaessa Test Becch ja rakentamisen korkea trasactors yli käyttäytymismalleja siten, että testitapaukset voidaan kirjoittaa tehokkaasti. Becn voi myös iuntergrated monotirs ja tarkistajat käyttäen väittämiä ja muut talon pitäminen moduulit