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 ...

Imagine the complexity that millions of input variables and millions of logic instances need to verify so that there is a smarter way to tackle that by dividing every big problem into smaller parts ...