Politecnico di Torino
Politecnico di Torino
   
Login  
en
Politecnico di Torino
Anno Accademico 2009/10
03JAFIU
Verifica formale di circuiti e sistemi digitali
Dottorato di ricerca in Ingegneria Informatica E Dei Sistemi - Torino
Docente Qualifica Settore Lez Es Lab Tut Anni incarico
Cabodi Gianpiero ORARIO RICEVIMENTO AC ING-INF/05 30 0 0 0 6
SSD CFU Attivita' formative Ambiti disciplinari
*** N/A ***    
Obiettivi dell'insegnamento
Il corso si propone di fornire una panoramica sulle tecniche di verifica formale applicate nell'ambito del progetto di circuiti digitali, protocolli e software, con particolare enfasi al primo ambiente.
Tali tecniche hanno assunto un progressivo interesse ed applicazione come metodi complementari e/o alternativi alla simulazione, a causa della dimensione crescente dei sistemi progettati.
Il corso fornirà sia basi teoriche che esperienze applicative (uso di strumenti di verifica formale)
Programma
Verifica di proprietà logiche e temporali (model checking) e verifica di equivalenza per circuiti combinatori e sequenziali, theorem proving, linguaggi orientati alla verifica, manipolazioni simboliche mediante BDD, analisi di soddisfacibilità (SAT solving), interazioni tra verifica e testing, verifica di sistemi reattivi.
Orario delle lezioni
Statistiche superamento esami

Programma definitivo per l'A.A.2009/10
Indietro



© Politecnico di Torino
Corso Duca degli Abruzzi, 24 - 10129 Torino, ITALY
WCAG 2.0 (Level AA)
Contatti