LEC a DC problem.Who mi může pomoci?

[smallstone]

Vážení:
Mám nějaký problém ohledně LEC a DC syntéza.
DC re-encoding finiate státní mašinérii státu vektor.
Takže LEC formální kontroly mezi RTL a netlist je non-ekvivalence.
Pokud nemám vypnout automatické kódování funkci v syntéze DC.
Co mám dělat v LEC formální kontrolu?1.Jaká je hodnota fsm_stae_0 v DC zprávu?
2.Jsou nějaké problémy v dofile.do a state.ref?
3.
/ / / LEC dofile.do --------------------///
Přečtěte si design rtl.v-zlatá
Přečtěte si design gtl.v-revidované

Přečtěte si FSM kódování state.ref//////---------- DC REPORT ---------------///////////////// / / /
Informace: konečný automat State_reg byl extrahován.(FSM_EX-144)

Hodiny: SYSCLK Sense: rising_edge
Asynchronní Reset: nespecifikováno

Kódování Bit Délka: 3
Kódování styl: auto

Stát vektor: (State_reg [2] State_reg [1] State_reg [0])Stát Kódování a Řazení:

fsm_state_0: 000
fsm_state_1: 010
fsm_state_2: 011
fsm_state_3: 100
fsm_state_4: 001
fsm_state_5: 101///------------------------- State.ref ---------------///
. Fromstates State_reg [2] State_reg [1] State_reg [0]
. Tostates State_reggol_2_ State_reggol_1_ State_reggol_0_
. Začít
000 000
001 010
010 011
011 100
100 001
101 101
. KonciS pozdravem

 

[nand_gates]

Stejný problém budete čelit, pokud se retiming v DC!
Tentokrát s combo logiku!
LEC má nějaké nedokumentované příkazy pro tento druh
problémy.My sugestion je chytíte LEC AE za podporu!

 

[spauls]

Pro měřený modul použít příkaz
Přidejte modul atribut <mod>-pipeline_retime [-dff2buffer] [-zlatý |-revidované]