problemi di formalità reg costante

[eddsos]

Ho un registro in netlist, i cui dati consentono di ingresso è sempre valido.
Così, questo registro dovrebbe essere 0 dopo il reset, che è una logica ridondante.
Come faccio a far conoscere questa formalità, quando confronta logiche a valle?

 

[hawk_chenbo]

Mi chiedo perché non si rimuove questo registro ridondante.

 

[jackson_peng]

solo impostare il valore costante sul reg out, prima di iniziare a verificare

 

[spauls]

tenta la sintesi di nuovo con set_case_analysis, e poi fare formalità il tuo problema sarà olved.