Logic equivalence checking (LEC)
[ Back ]
Contents
- Introduction
- …
- …
Introduction
http://en.m.wikipedia.org/wiki/Formal_equivalence_checking
Tool: Cadence Conformal
Last update:
vlsi:workbook:digital:lec
[ Back ]
http://en.m.wikipedia.org/wiki/Formal_equivalence_checking
Tool: Cadence Conformal
Last update: