Gli strumenti di progettazione model-based, come Matlab/Simulink, permettono agli ingegneri di concentrarsi sulla progettazione e validazione di sistemi complessi, senza ilsovraccarico di riimplementare le loro descrizioni di alto livello in dettagli di implementazione di basso livello.
Lo standard IEEE 1800.2-2020 introduce la Unified Verification Methodology (UVM) per una verifica RTL strutturata e unificata, superando i vecchi banchi di test scritti a mano termini di portabilità e usabilità. Questa tesi mira a costruire