LEC comprises of three steps as shown below: Setup Mode, Mapping Mode and Compare Mode. Fig-1. Logical Equivalence Check flow diagram There are various EDA tools for performing LEC, such as Synopsys ...

Basic Mathematical model used by Equivalence checker Initially, the idea was to use FSM (Finite State Diagram) modeling that represents the logic of design in the state diagram, but these things get ...