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