Patikimumas keista

V

vreddy

Guest
can anyone say wat tiksliai Conformal patikrinti tai?
naudojant verplex įrankis?

 
General ASIC design flow:

RTL ---> sintezės ----> įdėti testas logika (DFT, MEMBIST tt )---> PR ---> tapout

Conformal patikrinti naudojamas patikrinti funkcija ekvivalentiškumo kodą tarp dviejų fazių.RTL kodas visada yra auksas.

Ty kai mes DFT arba kitų, su netlist funciton gali skirtis nuo RTL kodą.Taigi, mes turime patikrinti, ar funkcija po netlist PR yra lygi funkcijos RTL.

Smulkesnė informacija, pls ą LEC įrankio rankinis.quan228228

 
Oficialaus patikrinimo CONFORMALity

naudojama patikrinti functiona lygiavertiškumą tarp dviejų netlist ar du RTL!

verplex įrankis?kuris eda pardavėjas šį įrankį?

 

Welcome to EDABoard.com

Sponsor

Back
Top