The following publications are possibly variants of this publication:
- Effective Post-Silicon Validation of System-on-Chips Using Quick Error DetectionDavid Lin, Ted Hong, Yanjing Li, Eswaran S, Sharad Kumar, Farzan Fallah, Nagib Hakim, Donald S. Gardner, Subhasish Mitra. tcad, 33(10):1573-1590, 2014. [doi]
- Symbolic Quick Error Detection for Pre-Silicon and Post-Silicon Validation: Frequently Asked QuestionsEshan Singh, David Lin, Clark Barrett, Subhasish Mitra. dt, 33(6):55-62, 2016. [doi]
- Quick error detection tests with fast runtimes for effective post-silicon validation and debugDavid Lin, Eswaran S, Sharad Kumar, Eric Rentschler, Subhasish Mitra. date 2015: 1168-1173 [doi]
- Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principlesKeith A. Campbell, David Lin, Subhasish Mitra, Deming Chen. dac 2015: 53 [doi]
- Overcoming post-silicon validation challenges through quick error detection (QED)David Lin, Ted Hong, Yanjing Li, Farzan Fallah, Donald S. Gardner, Nagib Hakim, Subhasish Mitra. date 2013: 320-325 [doi]
- QED: Quick Error Detection tests for effective post-silicon validationTed Hong, Yanjing Li, Sung-Boem Park, Diana Mui, David Lin, Ziyad Abdel Kaleq, Nagib Hakim, Helia Naeimi, Donald S. Gardner, Subhasish Mitra. itc 2010: 154-163 [doi]
- Lazy Symbolic Evaluation and Its Path Constraints SolutionMeng-xiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. ICSE 2009: 79-87 [doi]