Hvordan skal gøre i Conformal?

[mic_huhu]

Hej alle

når jeg bruger Conformal at gøre funktionen ækvivalens kontrollere, den syntetiserede Netlist har slettet nogle ubrugelige registre 'bits, så nogle unmapped pints kommer op, når man sammenligner med RTL-kode.How to do?med mange tak.

Johnny

 

[spauls]

check in RTL

 

[Anjali]

syntese værktøj vil optimerer design ved at fjerne redundans, mv.

det kan optimere redskaber.ex: DC vil optimere net eller logik.hvis det kun optimerer redskaber, så ikke noget problem.conformal arbejder på logiske ækvivalens check.som den logik er forblevet i Netlist, conformal kampe RTL & Netlist selv nogle redskaber, der er optimeret away.there vil ikke være nogen unmathed point, medmindre virkelig et misforhold er der.

Det synplifypro værktøj optimerer selv registrene.& Synplifypro genererer nogle filer til conformal værktøj.(dem vil være i krypteret format.), så conformal kan arbejde ordentligt.

den nye version af DC optimerer registre også.på dette tidspunkt, er der et misforhold i hovedpunkter.Jeg har ikke arbejdet på nyere version af DC.Også jeg ved ikke, hvordan man gør formel verifikation i dette scenario.

 

[linli]

set_dont_touch for alle registre