%0 Journal Article %1 journals/corr/abs-2106-10392 %A Ganesan, Karthik %A Lonsing, Florian %A Nuthakki, Srinivasa Shashank %A Singh, Eshan %A Fadiheh, Mohammad Rahmani %A Kunz, Wolfgang %A Stoffel, Dominik %A Barrett, Clark W. %A Mitra, Subhasish %D 2021 %J CoRR %K dblp %T Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-10392 %V abs/2106.10392

@article{journals/corr/abs-2106-10392, added-at = {2022-11-10T00:00:00.000+0100}, author = {Ganesan, Karthik and Lonsing, Florian and Nuthakki, Srinivasa Shashank and Singh, Eshan and Fadiheh, Mohammad Rahmani and Kunz, Wolfgang and Stoffel, Dominik and Barrett, Clark W. and Mitra, Subhasish}, biburl = {https://www.bibsonomy.org/bibtex/2e15e39fb5ca5577a8ff70016e150bf8a/dblp}, ee = {https://arxiv.org/abs/2106.10392}, interhash = {b46026581bf8e8691a7923abda8b6005}, intrahash = {e15e39fb5ca5577a8ff70016e150bf8a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:05:17.000+0200}, title = {Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-10392}, volume = {abs/2106.10392}, year = 2021 }