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.
I don't really understood your response.
1- first we run simulation at RTL level to check the functionality
2- LEC is used to garantee the functionality is the same between the RTL and all netlists generated during the backend flow.
3- the gate simulation is done to check the timing (ovelap with STA)
LEC is here to check the RTL code is properly read/understood by the synthesis tools.
And as RTL verifier, I will never said, I check everything cases , then LEC is here to just to said, your final netlist is identical as your RTL, but your RTL simulations could have some weak points.
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.