%0 Conference Paper %1 conf/dac/ChattopadhyayDZLDVBPETBM23 %A Chattopadhyay, Saranyu %A Devarajegowda, Keerthikumara %A Zhao, Bihan %A Lonsing, Florian %A D'Agostino, Brandon A. %A Vavelidou, Ioanna %A Bhatt, Vijay Deep %A Prebeck, Sebastian %A Ecker, Wolfgang %A Trippel, Caroline %A Barrett, Clark W. %A Mitra, Subhasish %B DAC %D 2023 %I IEEE %K dblp %P 1-6 %T G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. %U http://dblp.uni-trier.de/db/conf/dac/dac2023.html#ChattopadhyayDZLDVBPETBM23 %@ 979-8-3503-2348-1

@inproceedings{conf/dac/ChattopadhyayDZLDVBPETBM23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Chattopadhyay, Saranyu and Devarajegowda, Keerthikumara and Zhao, Bihan and Lonsing, Florian and D'Agostino, Brandon A. and Vavelidou, Ioanna and Bhatt, Vijay Deep and Prebeck, Sebastian and Ecker, Wolfgang and Trippel, Caroline and Barrett, Clark W. and Mitra, Subhasish}, biburl = {https://www.bibsonomy.org/bibtex/261ca60a81a8cab097b51eb2158668104/dblp}, booktitle = {DAC}, crossref = {conf/dac/2023}, ee = {https://doi.org/10.1109/DAC56929.2023.10247903}, interhash = {a5413c35f2caceb67bfbe7a7a16b3a47}, intrahash = {61ca60a81a8cab097b51eb2158668104}, isbn = {979-8-3503-2348-1}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T01:57:35.000+0200}, title = {G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2023.html#ChattopadhyayDZLDVBPETBM23}, year = 2023 }