Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Entrambe le parti precedenti la revisione Revisione precedente Prossima revisione | Revisione precedente | ||
|
vlsi:workbook:digital:lec [11/09/2013 00:38] pacher |
vlsi:workbook:digital:lec [20/03/2014 06:11] (versione attuale) pacher |
||
|---|---|---|---|
| Linea 1: | Linea 1: | ||
| ====== Logic equivalence checking (LEC) ====== | ====== Logic equivalence checking (LEC) ====== | ||
| + | [ __[[vlsi:workbook:digital|Back]]__ ] | ||
| Linea 12: | Linea 12: | ||
| - | ===== Introduction ===== | + | ====== Introduction ====== |
| + | [[http://en.m.wikipedia.org/wiki/Formal_equivalence_checking]] | ||
| + | Tool: Cadence Conformal | ||
| ====== ====== | ====== ====== | ||