formalumas Pabandykite fails Kai patikrinimas DesignWare

[zzt001]

Man reikia naudoti formalumas patikrinti modulis naudojant DesignWare DW_div_pipe.
Išeitinis kodas mano RTL patiko taip.

parametras TC = 0; / / Nepasirašytos
parametras REM = 1; / / likusiam
parametras ETAPAI = 4'd10 / / viso etapo
parametras smukos = 1; / / stallable
parametras RESET = 1; / / async naujo
parametras AU_BDIV_PARA = 'd64;

DW_div_pipe # (AU_BDIV_PARA, AU_BDIV_PARA, TC, REM, ETAPAI, vilkinti, RESET)
u01 (. a (DIVA). b dalis (DIVB)
. Quotient (divp),
. likusią (divr),
. divide_by_0 (div0),
. lt (w_en),
. CLK (CLK),
. rst_n (rstn));
......
Tačiau formalumo patikrinti rezultatas nepavyksta.Toliau pranešime.
20 Jei lyginti taškų (20-iasis, 0 nesuderinta):

Nuoroda DfF r: / WORK/au_wrap/au_top_inst/u_bigdiv/u01/a_int_reg [2] [48]
Protokolo DfF i: WORK/au_wrap/au_top_inst/u_bigdiv/u01/U_DIV/au_top_inst_u_b
igdiv_u01_link402026_r_REG530_S2

Nuoroda DfF r: / WORK/au_wrap/au_top_inst/u_bigdiv/u01/a_int_reg [3] [52]
Protokolo DfF i: WORK/au_wrap/au_top_inst/u_bigdiv/u01/U_DIV/au_top_inst_u_b
igdiv_u01_link402026_r_REG1324_S1
......
Aš perskaičiau ir SVF failas sukurtas per sintezės procedūra.Kodėl nepavyksta?Ar yra kokia nors speciali config "formalumas patikrinti designware kaip DW_div_pipe?Kaip aš galiu padaryti?
Many thanks for your help.

 

[avimit]

Atrodo kaip SVF komentarų problemą.
1.Kokią versiją formalumas Jūs naudojate.
Jei naudojate naujausią tada pamatysite pranešimą log failas atrodo taip:
***** Orientavimo Santrauka *******
kuri rodo, kiek gerai savo SVF komentarų buvo.Pažiūrėkite, kas yra atmetamos, o kas yra priimta.
2.Jei naudojate naujausią, ty Jūs negalite matyti virš linijos savo formalumas paleisti, tada
naudoti taip, po tu padarei savo atitikimas:

Kodas:report_svf_operation [find_svf_operation statuso atmestas]

 

[rsrinivas]

naudoti
nustatyti compile_seqmap_propogate_constants tiesa
gali būti gimęs KONSTANTOS nuimti sintezę.

Linkėjimai