Jak to ale udělat v Konformní?

[mic_huhu]

Ahoj, všechny

Když jsem použít Konformní udělat funkci rovnocennosti zkontrolovat, syntetizovaný netlist smazal zbytečné registry 'kousky některých, takže některé nezmapovaný pinty přichází, když se porovná s kódem RTL.Jak to udělat?s mnoha díky.

Johnny

 

[spauls]

check in RTL

 

[Anjali]

syntéza nástroj optimalizuje design odstraněním redundance, atd..

může optimalizovat sítě.ex: DC bude optimalizovat sítě nebo logika.pokud to jen optimalizuje sítě, pak není problém.konformní pracuje na logické ekvivalence kontrolu.jako logika je zůstal v netlist, konformní zápasy RTL & netlist i některé sítě jsou optimalizovány away.there nebude unmathed body, pokud opravdu nesoulad je tam.

synplifypro nástroj optimalizuje i registry.& Synplifypro vytváří nějaké soubory konformní nástroj.(Ty budou v zašifrované podobě.) Tak konformní může fungovat správně.

Nová verze DC optimalizuje rejstříky.v té době, tam je neshoda v klíčových bodech.Nepracoval jsem na novější verzi DC.Já taky nevím, jak to udělat formální verifikace v tomto scénáři.

 

[linli]

set_dont_touch pro všechny registry