Konformní porovnat retiming netlist a RTL

[davyzhu]

Zdravím všechny,

I použití konformní k porovnání logiky s netlist a RTL.Ale některé logika je syntetizován retiming.Mohu nastavit některé překážky pro porovnání retiming netlist a RTL?A je nastaven Black-box se rozumí jen porovnávat vstupní a výstupní logikou Black-box?

S pozdravem,
Davy

 

[Aravind]

mohou u Prosím, podělte se hier do souboru nebo do FLE používá u
Pak jsem si u toho, co u zmeškaných

 

[spauls]

Použijte příkaz read_design-analyzovat retming příkaz

 

[wangkl]

Zde je odpověď z mého školicí materiály.
I když jsem se dostal čas jít přes to

Pro jednoduché potrubí retiming obvodu,
1.potrubí retimed modul, musí být root modul
2.Pomocí "přidat modul atribut <module>-pipeline_retime [-dff2buffer] [-zlatý |-revidované]"

Pro pokročilé potrubí retiming,
Potřebujete Konformní Ultra licence.

Přečtěte si knihovnu
Přečtěte si design
.....
Přidejte modul atribut xxxx-pipeline_retime
nastavit systém mód LEC
analyzovat DataPath-merge
Přidat porovnat bod-všechny
srovnávat

 

[davyzhu]

Ahoj wangkl,

Díky za pomoc!

Říkal jste, že "
Pro jednoduché potrubí retiming obvodu,
1.potrubí retimed modul, musí být root modul
... "

Je root modul "top modul"?A proč "potrubí retimed modul, musí být root modul"?

Díky!

S pozdravem,
Davy

 

[wangkl]

oh, I dont think root modulem znamená top modul.
Root modul by měl být současný cíl modul pro porovnání.
Současný modul by mohl být top design, nebo sub-moudle uvnitř.
Tam je příkaz "set root modul xxx" v LEC.
Pro to je jednoduché retimed bez licence Ultra,
Myslím, že tento nástroj nemohl zvládnout retiming porovnání prostřednictvím hierarchie hranice design.