Help: Waarom zijn er veel vergrendeld ongeëvenaard voor formaliteit

[newcpu]

Toen ik de formailty lopen, zijn er veel van het hang-ongeëvenaard in de referentie RTL.Als ik zoek hang deze in de netlist, zijn er geen dergelijke hang inderdaad.Kan iemand mij een aantal methoden te bieden voor het debuggen van dit probleem?

Met vriendelijke groet,
newcpu

 

[stormwolf]

U dient de handleiding te lezen van formailty, dit is becase DFF synthese tot twee latch structuur.Dus je moet formailty vertellen hoe om te gaan. En ik gebruik voldoen, hierover, opdracht zoals:
set plat model-latch_fold.
vind je een aantal commando als dit op de handleiding van formailtyToegevoegd na 3 minuten:Of helmknop antwoord is gate klok, synthese voeg wat klink naar gate klok controle, moeten we de controle die klink als poort, om te voldoen:
set plat model-latch_transparent.