T
toobad365
Guest
Hi All,
1.RTL vs Netlist comparation con formalità.Ho letto il file ASFC successo, ma alcuni ASFC operazioni respinta.Si verifica per le formalità OK?
2.Ci sono alcuni punti che non quando faccio la verifica con formalità.Analizzare in mancanza di uno dei punti, e la mancanza di formalità relazioni punto esiste a causa del funzionamento e respinto ASFC consigliamo di fare reg_merging.Quando ho aperto scahematics logica cono, DFF è molto strano (D di simulazione ha mostrato con valore 1, e Q, con la simulazione ha dimostrato il valore 0).
C'è qualcosa che non va con il DFF formalità di modellazione e questo Datapath?
confusa ....
1.RTL vs Netlist comparation con formalità.Ho letto il file ASFC successo, ma alcuni ASFC operazioni respinta.Si verifica per le formalità OK?
2.Ci sono alcuni punti che non quando faccio la verifica con formalità.Analizzare in mancanza di uno dei punti, e la mancanza di formalità relazioni punto esiste a causa del funzionamento e respinto ASFC consigliamo di fare reg_merging.Quando ho aperto scahematics logica cono, DFF è molto strano (D di simulazione ha mostrato con valore 1, e Q, con la simulazione ha dimostrato il valore 0).
C'è qualcosa che non va con il DFF formalità di modellazione e questo Datapath?
confusa ....