FORMALITEIT Check mislukt wanneer gecontroleerd DesignWare

[zzt001]

Ik moet voor het gebruik van formaliteiten om na te gaan of een module met behulp van DesignWare DW_div_pipe.
Broncode in mijn RTL, zoals de volgende.

parameter TC = 0; / / unsigned
parameter REM = 1; / / rest
parameter STADIA = 4'd10; / / totaal stadium
parameter STALL = 1; / / stallable
parameter RESET = 1; / / async reset
parameter AU_BDIV_PARA = 'D64;

DW_div_pipe # (AU_BDIV_PARA, AU_BDIV_PARA, TC, REM, STADIA, STALL, RESET)
u01 (. bis (DIVA),. b (divb),
. quotiënt (divp),
. restant (divr),
. divide_by_0 (div0),
. NL (w_en),
. clk (clk),
. rst_n (rstn));
......
Maar de formele controle resultaat mislukt.Hieronder ziet u het verslag.
20 Bij gebreke vergelijken punten (20 geëvenaard, 0 ongeëvenaarde):

Ref DFF r: / WORK/au_wrap/au_top_inst/u_bigdiv/u01/a_int_reg [2] [48]
Impl DFF i: / WORK/au_wrap/au_top_inst/u_bigdiv/u01/U_DIV/au_top_inst_u_b
igdiv_u01_link402026_r_REG530_S2

Ref DFF r: / WORK/au_wrap/au_top_inst/u_bigdiv/u01/a_int_reg [3] [52]
Impl DFF i: / WORK/au_wrap/au_top_inst/u_bigdiv/u01/U_DIV/au_top_inst_u_b
igdiv_u01_link402026_r_REG1324_S1
......
Ik heb gelezen in de svf bestand gegenereerd in synthese procedure.Waarom het niet werkt?Is er een speciale config in formaliteit te controleren designware zoals DW_div_pipe?Hoe kan ik doen?
Hartelijk dank voor uw hulp.

 

[avimit]

Ziet eruit als een svf annotatie probleem.
1.Welke versie van formaliteit bent u gebruikt.
als u de nieuwste vervolgens zie je een verslag in het logbestand als volgt uit:
***** Oriëntatie Samenvatting *******
die zal u vertellen hoe goed uw svf annotatie was.Kijk wat is afgewezen en wat is aanvaard.
2.Als u geen gebruik maakt van uiterlijk,
dat betekent dat je niet kunt zien, het bovenstaande regel in uw formaliteit draaien, dan
Gebruik de volgende, nadat u klaar bent met bijpassende:

Code:report_svf_operation [find_svf_operation-status afgewezen]

 

[rsrinivas]

gebruiken
ingesteld compile_seqmap_propogate_constants ware
kan worden ur constanten zijn verwijderd tijdens de synthese.

Groeten