Hybrid Quick Error Detection: Validation and Debug of SoCs Through High-Level Synthesis | IEEE Journals & Magazine | IEEE Xplore