Continue to Site

Welcome to

Welcome to our site! 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.

differnce between by formal verification and Logic equivalence checking

Not open for further replies.


Advanced Member level 4
May 14, 2011
Reaction score
Trophy points
Activity points
Is formal verification is same as Logic equivalence checking (LEC) for which the tools are formality by Synopsys and Conformal LEC by cadence.


So formal verification can be accomplished by LEC tools. But some persons say formal verification is something different than LEC. That was even in contradiction to my earlier idea THAT "Logic Equivalence checking(LEC) is a Formal verifcation tool". I FIND U ALSO THINKS THE SAME.

Some people thinks formal verification is related to functional verification. I do not understand how this is true. Do u have any idea of this?

Do you think formal verification can mean something elec othe than equivalence checking of two circuits/systems.


Property checking is also a part of Formal Verification.

Your statement : Formal verification is related to Functional Veriifcation

This can be true, but will give you a scenario where the above statement can be true.

Lets take you have implemented an algorithm for certain functionality and you have completely verified the functionallity with gate level simulation and good coverage of tests are done this algorithm written in RTL. But there was a change in requirement w.r.t Area/Speed. Now you implemented different algorithm keeping in mind of the same functionality.

Instead of running your new algorithm through Simulation, you can simply perform LEC on these oldd agorithm and new algorith. This way you have done functional verification of your new algorithm.

I hope you agree with my statements.

Property checking is also a part of Formal Verification.

What do you mean by property here?

You were talking of verification of algorithm. But people talks of formal verification of designs by Synopsys vcs !!!!

LEC is for RTL vs NETLIST comparion! Formal verification is for property check !

LEC is for RTL vs NETLIST comparion! Formal verification is for property check !

disagree, but don't angry.

formal verification can be classified into 2 types:
1. logic equivalent.
2. property check.

Not open for further replies.

Part and Inventory Search

Welcome to