• aerospace
• fpga
• Systemverilog
• verification

A causa dell'importanza delle attuali e future missioni spaziali, volte soprattutto al monitoraggio del globo terrestre, sorge la necessità di sviluppare strumenti in grado di supportare un sempre più elevato throughput di dati. Si rivolge particolare attenzione alle applicazioni di telemetria High Data Rate e in questo contesto viene definito dal CCSDS lo standard di comunicazione 131.2-B. Per lo sviluppo di strumenti per applicazioni così avanzate, realizzate in tecnologie FPGA o ASIC, sono necessarie tecniche di verifica altrettanto evolute per poter soddisfare specifiche sempre più stringenti. I testbench realizzati per test diretti e per semplici scenari non ne permettono la verifica in situazioni più complesse. Si ricorre allora ad un ambiente di verifica layered, realizzato in SystemVerilog, estensione del linguaggio Verilog e arricchito da elementi di programmazione OOP. Il lavoro di tesi è stato svolto nell'ambito di una collaborazione di ricerca con l'azienda IngeniArs, con l'obiettivo di realizzare il modello di riferimento del codificatore/modulatore per il protocollo di comunicazione CCSDS 131.2-B, motore di un ambiente di verifica SystemVerilog evoluto e flessibile. Inizialmente viene descritto lo standard di riferimento per poi spiegare le motivazioni di un ambiente di verifica avanzato, con particolare attenzione ai suoi componenti. Infine, si riportano il confronto con un golden reference MATLAB e i risultati ottenuti in alcuni scenari.