• mixed signal verification
• low-power
• functional verification
• coverage
• Convertitori analogico-digitali (ADC)
• controllori digitali
• controllo proporzionale-integrale
• circuiti misti analogico-digitali
• cicli limite
• cardiac pacemakers
• capacità commutate
• applicazioni critiche
• applicazioni biomedicali
• applicazioni automotive
• analog-to-digital converter
• A/D
• pacemakers cardiaci
• regolatori di tensione
• regulator systems
• sistema alternatore/batteria
• switched-capacitors
• switched-opamp
• verifica di sistemi misti
• verifica funzionale

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.