Formal Verification of Source-to-Source Transformations for High-Level Synthesis

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ProQuest Dissertations and Theses (2025)
1. Verfasser:	Tucker, Emily
Veröffentlicht:	ProQuest Dissertations & Theses
Schlagworte:	Computer science Computer engineering Information technology
Online-Zugang:	Citation/Abstract Full Text - PDF
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!