Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

what exactly use in equivalant check?

Status
Not open for further replies.

u24c02

Advanced Member level 1
Joined
May 8, 2012
Messages
404
Helped
2
Reputation
4
Reaction score
2
Trophy points
1,298
Activity points
4,101
Hi
I willing to pre equivalence check.
And i have original RTL code.

But i'm not sure about what exactly file used fir equivalence check?

Original RTL vs no scan inserted netlist?
Original RTL vs scan inserted netlist?

May be i think that the former is correct but i'm not sure.
Does anyone know what exactly i have to use?
 

you can put case_analysis(i.e. functional mode setting) to scan-inserted netlist to check equivalence with golden RTL.
 
  • Like
Reactions: u24c02

    u24c02

    Points: 2
    Helpful Answer Positive Rating
Thanks
might be functional mode just check function in scan inserted netlist.
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top