G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators

Saranyu Chattopadhyay, Keerthikumara Devarajegowda, Bihan Zhao, Florian Lonsing, Brandon A. D'Agostino, Ioanna Vavelidou, Vijay D. Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark Barrett, Subhasish Mitra

EE Dept.
Stanford University
Infineon Technologies AG
CS Dept.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

sortieren
Gewicht:
Alphabetisch

G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators

Fingerprint

Keyphrases

Computer Science