“Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection” by Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki, Eshan Singh, Mohammad Rahmani Fadiheh, Wolfgang Kunz, Dominik Stoffel, Clark Barrett, and Subhasish Mitra, 2021.

BibTeX entry:

@techreport{GLN+20,
   author = {Karthik Ganesan and Florian Lonsing and Srinivasa Shashank
	Nuthakki and Eshan Singh and Mohammad Rahmani Fadiheh and Wolfgang
	Kunz and Dominik Stoffel and Clark Barrett and Subhasish Mitra},
   title = {Effective Pre-Silicon Verification of Processor Cores by
	Breaking the Bounds of Symbolic Quick Error Detection},
   year = {2021},
   url = {http://arxiv.org/abs/2106.10392}
}

(This webpage was created with bibtex2web.)