įdomi problema Conformal

[mic_huhu]

Hi, all

Aš susiduria tiek keista atveju.kai aš patikrinti savo ECO netlist su mano originalaus RTL kodas, jie yra lygus!bet du netlist yra nonequal ir du RTL nonequal yra per daug.kodėl?

Mėginau servial kartus patikrinti ECO netlist.jis teisus.

kas gali pasakyti kodėl?

ačiū

Džonis

 

[anjali]

du dizainai gali būti funkciškai lygia, tačiau negali būti struktūriškai vienodos.

ir funkcinė patikra, galima patikrinti tam tikrų sąlygų.tačiau gali būti tiek daug neištirtų logika arba nevienodai

 

[mic_huhu]

bet. dviejų konstrukcijos yra skirtingos veiklos, kuri gali būti įrodyta FPGA.

Modulis patikrinti jį patikrinti.Kodėl visą sistemą, patikrinkite, ar negali?

Aš išbandyti keletą kartų.rezultatai yra vienodi.

systhesised netlist (atėjo iš Gamtos RTL) yra lygus su EKO netlist.Nr lygus su NonEco netlist.