Čo robí presne to, konformný kontrola znamená?

V

vreddy

Guest
môže niekto povedať, Wat úplne konformný kontrole prostriedkov? pomocou verplex nástroje?
 
Všeobecne ASIC design flow: RTL ---> syntézu ----> Pridať testovacej logiky (DFT, MEMBIST, atď )---> PR ---> TAPOUT konformný kontrole sa používa pre kontrolu funkcie ekvivalencie kódu medzi dvoma fázy. RTL kód je vždy zlato. IE potom, čo sme si DFT alebo iné, môže funciton na netlist byť odlišná od RTL kódu. Takže, musíme skontrolovať, či je funkcia netlist po PR je rovná funkcii RTL. Podrobné info, pls nájdete v manuáli LEC nástroje. quan228228
 
formálne verifikácia je CONFORMALity pre kontrolu function ekvivalencie medzi dvoma netlist alebo dva RTL! verplex nástroj? EDA, ktorý je dodávateľom tohto nástroja?
 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top