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 does exactly the conformal check mean?

Status
Not open for further replies.

vreddy

Advanced Member level 4
Full Member level 1
Joined
Aug 12, 2006
Messages
109
Helped
1
Reputation
2
Reaction score
1
Trophy points
1,298
Activity points
2,051
check

can anyone say wat exactly the conformal check means??
by using verplex tool??
 

Re: check

the general ASIC design flow:

RTL ---> synthesis---->add test logic(DFT, MEMBIST,etc)--->PR--->tapout

the conformal check is used to check function equivalence of code between two phase. The RTL code is always gold.

I.E. after we do DFT or other, the funciton of netlist may be different from RTL code. So, we need to check whether the function of netlist after PR is equal to function of RTL.

The detailed info, pls refer to LEC tool's manual.


quan228228
 

    vreddy

    Points: 2
    Helpful Answer Positive Rating
check

formal verification is CONFORMALity

used to check functiona equivalence between two netlist or two rtl !!!

verplex tool? who is eda vendor of this tool?
 

Status
Not open for further replies.

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top