G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators | IEEE Conference Publication | IEEE Xplore