Pomoc: prečo je tam veľa naklonený otvorené pre formalita

[newcpu]

Keď spustím formailty, existuje veľa zámkov neporovnateľné s referenčným RTL.Keď som hľadanie týchto zámkov v netlist, nie sú tam žiadne takéto zámky skutočne.Mohol by mi niekto poskytnúť nejaké metódy pre ladenie tohto problému?

S pozdravom,
newcpu

 

[stormwolf]

Mali by ste si prečítať manuál pre formailty, je to becase DfF syntézou dvoch zámok štruktúru.Takže ste mal povedať formailty, ako sa s tým vysporiadať. A ja používania vyhovujú, o tom, príkazom:
nastaviť porovnať model-latch_fold.
môžete nájsť nejaký príkaz, ako je to v manuále formailtyAdded po 3 minútach:Alebo Prašník odpoveďou je brána hodiny, syntéza pridať nejaké západku kontrolné brána hodiny, mali by sme tieto kontroly závora ako brána, v súlade:
nastaviť porovnať model-latch_transparent.