T
toobad365
Guest
Hi All,
1.RTL vs Netlist comparation kanssa muodollisuus.Luin SVF tiedoston onnistuneesti, mutta jotkut SVF operaatioiden hylättävä.Onko todentaminen OK: muodollisuus?
2.Joitakin ei ole, kun en todentaminen kanssa muodollisuus.I analysoida yksi niistä ei ole kohta, ja muodollisuus raportteja ei kohta ole, koska hylätyn SVF toiminnasta ja suosittelen tekemään reg_merging.Kun avaan scahematics logiikka kartio, DFF on hyvin outoa (D osoittivat simulointi arvo 1, ja Q osoittivat simulointi arvo 0).
On jotain vikaa muodollisuus mallinnus on DFF ja tämä datapath?
sekava ....
1.RTL vs Netlist comparation kanssa muodollisuus.Luin SVF tiedoston onnistuneesti, mutta jotkut SVF operaatioiden hylättävä.Onko todentaminen OK: muodollisuus?
2.Joitakin ei ole, kun en todentaminen kanssa muodollisuus.I analysoida yksi niistä ei ole kohta, ja muodollisuus raportteja ei kohta ole, koska hylätyn SVF toiminnasta ja suosittelen tekemään reg_merging.Kun avaan scahematics logiikka kartio, DFF on hyvin outoa (D osoittivat simulointi arvo 1, ja Q osoittivat simulointi arvo 0).
On jotain vikaa muodollisuus mallinnus on DFF ja tämä datapath?
sekava ....