PEak: A Single Source of Truth for Hardware Design and Verification

Domain-specific languages for hardware can significantly enhance designer productivity, but sometimes at the cost of ease of verification. On the other hand, ISA specification languages are too static to be used during early stage design space exploration. We present PEak, an open-source hardware de...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on embedded computing systems 2024-11
Hauptverfasser:	Donovick, Caleb, Melchert, Jackson, Daly, Ross, Truong, Lenny, Raina, Priyanka, Hanrahan, Pat, Barrett, Clark
Format:	Artikel
Sprache:	eng
Schlagworte:	Functional verification Hardware Hardware description languages and compilation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!