Ali je formalno preverjanje res potrebno?

[jelydonut]

Pod kakšnimi situacije bi ustvarili sintezo netlist ni logično enakovredna RTL?

jelydonut

 

[bronzefury]

Zagotovo je tako,

To verjetno ni pomembno v fazi projektiranja, ki ste jih omenjena.Ampak, mislim, da formalno preverjanje je zelo koristno, če post-postavitev netlist urediti je treba sprejeti.Kot verjetno veste, post-postavitev netlist je, ko so bili nameščeni na vsa vrata die in povezovanje žice so položeni.

Na primer, lahko primer zgodi, ko je napaka ugotovi pozno zasnove in je bilo ugotovljeno, da bi bilo preveč drago v načrtu in dela na relayout čip.Torej, običajno, pristop popraviti to težavo bi bilo, da sprememba v RTL popraviti žuželka ter prost dostop simulacijo preveriti popraviti.Ko bo ta končan, upajmo, da se določi manjšo, urejanje netlist in primerjajo z RTL netlist prek formalnega preverjanja.

 

[sam31]

Ja!!
Zakaj?
Uradno preverjanje orodje, ki nam bodo pomagale najti slabo RTL kodo, ki povzročajo slab rezultat sintetični prej zasnove>> design prihranite čas stroški
Vam ni treba po sinteze / simulacijske postavitev, če bi RTL simulacijo formalno preverjanje RTL vs sinteze / postavitev STA