formalno preverjanje Latch osnovi in DFF temelji netlist

[archillios]

Hi all, Jaz sem z uporabo formalnost v protivrednosti preverjanje, to je približno gate-to-gate preverjanje. Moja ref design je netlist v katerem zaporednih celice običajno DFF, medtem ko je izvajanje zasnove netlist sestavljajo zaporednih celic, vse iz zapah 2-ravni. Ujemanje je v redu, vendar v fazi preverjanja, skoraj vsi sekvenčno primerjanje točk ni uspelo. Ko sem debug napako vzorec, sem ugotovila, da se zdi, orodja, poskuša preveriti med DFF / Q (ref) in raven en zapah od DFF 2-ravni (IMP). kako lahko pridem skozi to? hvala.

 

[eddsos]

Obstaja nastavitev parameter, ki bi lahko orodja recoginize razmere samodejno. Jaz tega ne spomnim zdaj. si lahko ogledate v referenčnem priročniku.

 

[AlexWan]

Hi archillios, običajno, bo formalno orodja omogočajo DFFs in črno-box kot ključne točke, v primerjavi. To bo analizirala functonality bloka logike med ključne točke. Torej, če ga ni mogoče najti v skladu s točko ključ, da ne bo preveril functionlity med dveh izvedbah.