algoritmische aanpak op controle .. /

[nagraj]

is er een standaard algoritmes die gebruikt worden in de controle ...

 

[AlexWan]

Algoritmische is voor gewezen logica, niet voor verificatie.

Er zijn een aantal klassieke methoden engineering voor verificatie.
Ref sommige boek, zoals <Write TestBench>

 

[xworld2008]

hebben nu meer methode om verificaton, maar bus-functionele controle gebruikt meer offen, kunt u zien <write testbench> de steekproefsgewijze controle, see.And zoals het gebruik specman nu is belangrijk.