Implementation and Integration of an Avalon Streaming Verification Component for OSVVM

Abstract

Diese Arbeit untersucht die erweiterte funktionale Verifikation im digitalen Hardwareentwurf und betont die Bedeutung strukturierter und automatisierter Methoden zur Sicherstellung von Korrektheit und Robustheit. Nach einer Darstellung der theoretischen Grundlagen und einem Vergleich etablierter Open-Source-Frameworks wird insbesondere die Open Source VHDL Verification Methodology (OSVVM) betrachtet. Während OSVVM umfangreiche Infrastruktur für Randomisierung, Logging und Coverage bereitstellt, fehlen protokollspezifische Verification Components (VCs) für bestimmte verbreitete Schnittstellen. Zur Schließung dieser Lücke wird in dieser Arbeit eine wiederverwendbare VC für das Avalon Streaming Protokoll entworfen und implementiert. Die Komponente folgt den architektonischen Konventionen von OSVVM und unterstützt zentrale Protokollmerkmale wie Transaktionsmodellierung, Backpressure, Symbolreihenfolge und Paketübertragung. Durch die Integration mit den OSVVM-Dienstprogrammen ermöglicht die VC erweiterte Selbsttests, randomisierte Testverfahren und Coverage-gesteuerte Analysen. Über den konkreten Anwendungsfall hinaus bietet die Arbeit einen Leitfaden zur Entwicklung eigener VCs innerhalb von OSVVM. Sie leistet damit sowohl einen praktischen Beitrag zum OSVVM-Ökosystem als auch eine allgemeine Methodik zur Erweiterung von Verifikationsframeworks für domänenspezifische Protokolle.

Datum der Bewilligung	2025
Originalsprache	Englisch
Betreuer/-in	Markus Pfaff (Betreuer*in)