====== Logic equivalence checking (LEC) ======

[ __[[vlsi:workbook:digital|Back]]__ ]



== Contents ==

   * Introduction 
   * ...
   * ...


====== Introduction ======

[[http://en.m.wikipedia.org/wiki/Formal_equivalence_checking]]

Tool: Cadence Conformal 

====== ======
\\
----

Last update:
~~NOTOC~~