een interessant probleem in conforme

[mic_huhu]

hi, alle

Ik geconfronteerd met een zo vreemd geval.toen ik mijn ECO netlist gecontroleerd met behulp van mijn oorspronkelijke RTL-code, worden ze gelijk!maar de twee netlist zijn nonequal en de twee RTL zijn nonequal ook.waarom?

Ik heb geprobeerd servial keer te controleren of de ECO netlist.het goed is.

Wie kan mij vertellen waarom?

bedankt

Johnny

 

[Anjali]

twee ontwerpen kan functioneel gelijk zijn, maar kan niet worden structureel gelijk zijn.

in functionele controle, kunnen we controleren een aantal voorwaarden.maar er kan zo veel logica niet getest of ongelijke

 

[mic_huhu]

maar. van de twee ontwerpen zijn verschillend in de prestaties, die kan worden bewezen door FPGA.

module controle kan check it out.waarom het volledige systeem te controleren kan niet?

Ik heb meerdere malen proberen.De resultaten zijn hetzelfde.

de systhesised netlist (kwam uit Eco RTL) gelijk met ECO netlist.geen gelijke met NonEco netlist.