Keith A. Campbell, David Lin, Leon He, Liwei Yang, Swathi T. Gurumani, Kyle Rupnow, Subhasish Mitra, Deming Chen. Hybrid Quick Error Detection: Validation and Debug of SoCs Through High-Level Synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems, 38(7):1345-1358, 2019. [doi]
Abstract is missing.