Studio ed applicazione delle tecniche di Real Number Modeling e Assertion Based Verification al progetto di circuiti mixed-signal. Study and application of Real Number Modeling and Assertion Based Verification techniques to mixed-signal circuit design

Per primo si è realizzato uno studio del Real Number Modeling. Esso mira a sostituire i blocchi analogici presenti in un circuito Mixed-Signal con modelli realizzati attraverso linguaggi HDL, al fine di emulare la funzionalità di un intero dispositivo in simulatori ad eventi tipicamente digitali. L'elaborato comprende anche esempi di applicazione in VHDL. Si analizza inoltre l'Assertion Based Verification in Mixed-Signal e come implementare le asserzioni analogiche in SystemVerilog Assertion