apie formalumas konstanta reg

[eddsos]

Turiu vieną registrą netlist, kurio duomenų įvesties kad visada yra neteisingas.
Taigi, šį registrą turėtų būti lygus 0 po to reset, kuri yra nereikalinga logika.
Kaip aš galiu leisti formalumas, tai žinau, kai palyginti pasroviui logika?

 

[hawk_chenbo]

Įdomu, kodėl jums nereikia panaikinti šį nereikalingas registre.

 

[jackson_peng]

tiesiog nustatytas pastovus vertė reg atlikti prieš paleidžiant patikrinti

 

[spauls]

bandykite dar kartą sintezė set_case_analysis, ir tada atlikite formalumas jūsų problema bus olved.