TY  - RPRT
TI  - Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
AU  - Karthik Ganesan
AU  - Florian Lonsing
AU  - Srinivasa Shashank Nuthakki
AU  - Eshan Singh
AU  - Mohammad Rahmani Fadiheh
AU  - Wolfgang Kunz
AU  - Dominik Stoffel
AU  - Clark Barrett
AU  - Subhasish Mitra
PY  - 2021
UR  - https://arxiv.org/abs/2106.10392
ID  - 2106.10392
ER  -