TY  - RPRT
TI  - Logic Bug Detection and Localization Using Symbolic Quick Error Detection
AU  - Eshan Singh
AU  - David Lin
AU  - Clark Barrett
AU  - Subhasish Mitra
PY  - 2017
UR  - https://arxiv.org/abs/1711.06541
ID  - 1711.06541
ER  -