Sistemi per la progettazione automatica (2002/2003)

  1. Home
  2. Didattica
  3. Corsi di laurea magistrale / specialistica (a esaurimento / disattivati)
  4. Laurea specialistica in Informatica
  5. Insegnamenti

Corso a esaurimento

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
Avvisi relativi al corso Seminari relativi al corso

Orario lezioni

1°
Giorno Ora Tipo Luogo Note
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

Materiale didattico

Documenti