logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-04262006-134118


Tipo di tesi
Tesi di dottorato di ricerca
Autore
Bonfini, Giuseppe
Indirizzo email
giuseppe.bonfini@gmail.com
URN
etd-04262006-134118
Titolo
Progettazione e Verifica di Sistemi Misti Analogico-Digitali per Applicazioni Critiche
Settore scientifico disciplinare
ING-INF/01
Corso di studi
INGEGNERIA DELL'INFORMAZIONE
Relatori
relatore Ing. Mariani, Riccardo
relatore Prof. Saletti, Roberto
Parole chiave
  • A/D
  • analog-to-digital converter
  • applicazioni automotive
  • applicazioni biomedicali
  • applicazioni critiche
  • capacità commutate
  • cardiac pacemakers
  • cicli limite
  • circuiti misti analogico-digitali
  • controllo proporzionale-integrale
  • controllori digitali
  • Convertitori analogico-digitali (ADC)
  • coverage
  • functional verification
  • low-power
  • mixed signal verification
  • pacemakers cardiaci
  • regolatori di tensione
  • regulator systems
  • sistema alternatore/batteria
  • switched-capacitors
  • switched-opamp
  • verifica di sistemi misti
  • verifica funzionale
Data inizio appello
22/05/2006
Consultabilità
Non consultabile
Data di rilascio
22/05/2046
Riassunto
L’aumentare della complessità dei dispositivi microelettronici, la richiesta sempre crescente di qualità e la necessità di rispettare “time to market” sempre più ridotti, spingono oggi il mercato della microelettronica a porre, come mai prima, particolare attenzione nella fase di design e verifica del dispositivo stesso.
Il lavoro di tesi tratta lo studio teorico, l’ideazione, la fase di design ed i risultati sperimentali relativi ad un convertitore analogico-digitale ultra low-power per applicazioni biomedicali impiantabili (pacemakers cardiaci) e ad un regolatore di tensione per applicazioni automotive. Una parte importante è riservata alla presentazione di un approccio innovativo che consente, sfruttando le potenzialità dei linguaggi object-oriented e delle tecniche di generazione random degli stimoli, di checking automatico dei risultati e di elaborazione della funzione di coverage, di estendere la verifica funzionale dei sistemi digitali al più vasto campo dei sistemi misti analogico-digitali.
File