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.
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.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.
