G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.
Saranyu ChattopadhyayKeerthikumara DevarajegowdaBihan ZhaoFlorian LonsingBrandon A. D'AgostinoIoanna VavelidouVijay Deep BhattSebastian PrebeckWolfgang EckerCaroline TrippelClark W. BarrettSubhasish MitraPublished in: DAC (2023)