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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators'. Together they form a unique fingerprint.

Keyphrases

Computer Science