Una domanda su formalità

[zjwang]

Salve,

Voglio usare formalità per fare la verifica gerarchia per il mio disegno, così ho utilizzare il comando write_hirearchical_verification_script di scrivere uno script, e quindi la fonte i scritp.Il risultato mi ha detto che c'è un blocco fallito e questo causa il blocco superiore hiearachical che contiene il blocco di tutti falliti.
Ma quando ho verificare che inferiori blocco gerarchico separatly, è successo.Allora perché il blocco non in sede di verifica gerarchica?

 

[spauls]

are u utilizzando la scansione netlist stiched o pre scansione netlist,

 

[zjwang]

Ho usato la scansione netlist stiched, e ho impostato la porta test_so non verificare, porta test_se al costante 0

 

[masai_mara]

A parte l'inserimento DFT si hanno anche per controllare l'interfaccia tra blocchi e qualsiasi logica collante tra di loro.

 

[claint]

Sì, DFT o albero orologio può cambiare le porte o logica di blocco.

 

[zjwang]

Ma il problema è Thate quando uso il netlist stesso cancello e la netlist RTL di tale blocco e utilizzare le stesse impostazioni per verificare la loro separatly non, nella gerarchia, tutti passati e non hanno riportato i punti deboli.