Questa è una vecchia versione del documento!
Logic equivalence checking (LEC)
Contents
- Introduction
- …
- …
Introduction
http://en.m.wikipedia.org/wiki/Formal_equivalence_checking
Tool: Cadence Conformal
Last update:
vlsi:workbook:digital:lec
Questa è una vecchia versione del documento!
http://en.m.wikipedia.org/wiki/Formal_equivalence_checking
Tool: Cadence Conformal
Last update: