Sistemi per la progettazione automatica (2002/2003)-Dip.Informatica-Università degli Studi di Verona

Codice insegnamento

4S00052

Docente

Franco Fummi

crediti

5

Altri corsi di studio in cui è offerto

Lingua di erogazione

Italiano

Periodo

1° dal 30-set-2002 al 29-nov-2002.

Pagina Web

http://www.sci.univr.it/~fummi/spa

1°
Giorno	Ora	Tipo	Luogo
lunedì	14.30 - 16.30	lezione	Aula C
lunedì	16.30 - 18.30	lezione	Studio Dottorandi/Assegnisti
venerdì	12.30 - 13.30	lezione	Aula C

Testi di riferimento
Autore	Titolo	Casa editrice	Anno	ISBN	Note
Miron Abramovici, Melvin A.Breuer, Arthur D.Friedman	Digital Systems Testing and Testable Design (Edizione 10)	IEEE Press	1990	0780310624
Gary D.Hachtel, Fabio Somenzi	Logic Synthesis and Verification Algorithms (Edizione 1)	Kluwer Academic Publishers	1996	0792397460
Franco Fummi, Mariagiovanna Sami, Cristina Silvano	Progettazione Digitale (Edizione 2)	McGraw-Hill	2007	8838663521