{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:09Z","timestamp":1750306449924,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T00:00:00Z","timestamp":1446681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Ministry of Education","award":["2011-0024909"],"award-info":[{"award-number":["2011-0024909"]}]},{"name":"National Science Foundation","award":["CCF 1255949"],"award-info":[{"award-number":["CCF 1255949"]}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corp.","doi-asserted-by":"crossref","award":["2013-TJ-2425"],"award-info":[{"award-number":["2013-TJ-2425"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Basic Science Research Program"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Reconfigurable Technol. Syst."],"published-print":{"date-parts":[[2015,11,24]]},"abstract":"<jats:p>There is an increasing concern about transient errors in deep submicron processor architectures. Software-only error detection approaches that exploit program invariants for silent error detection incur large execution overheads and are unreliable as state can be corrupted after invariant checkpoints. In this article, we explore the use of configurable hardware structures for the continuous evaluation of high-level program invariants at the assembly level. We evaluate the resource requirements and performance of the proposed predicate-evaluation hardware structures when integrated with a 32-bit MIPS soft core on a contemporary reconfigurable hardware device. The results, for a small set of kernel codes, reveal that these hardware structures require a very small number of hardware resources with negligible impact on the processor core that they are integrated in. Moreover, the amount of resources is fairly insensitive to the complexity of the invariants, thus making the proposed structures an attractive alternative to software-only predicate checking.<\/jats:p>","DOI":"10.1145\/2751563","type":"journal-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T16:19:01Z","timestamp":1446740341000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware"],"prefix":"10.1145","volume":"9","author":[{"given":"Joonseok","family":"Park","sequence":"first","affiliation":[{"name":"Inha University, Incheon, Korea"}]},{"given":"Pedro C.","family":"Diniz","sequence":"additional","affiliation":[{"name":"University of Southern California\/Information Sciences Institute, Calif., USA"}]}],"member":"320","published-online":{"date-parts":[[2015,11,5]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1145\/1046192.1046212"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1145\/2020876.2020914"},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1109\/MM.2005.110"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1145\/781131.781157"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1109\/TNS.2011.2112379"},{"volume-title":"Proceedings of the International Symposium of Formal Methods Europe. Springer","author":"Flanagan C.","unstructured":"C. Flanagan and K. Leino . 2001. Houdini: An annotation assistant for ESC\/Java . In Proceedings of the International Symposium of Formal Methods Europe. Springer , Berlin, 500--517. C. Flanagan and K. Leino. 2001. Houdini: An annotation assistant for ESC\/Java. In Proceedings of the International Symposium of Formal Methods Europe. Springer, Berlin, 500--517.","key":"e_1_2_1_6_1"},{"volume-title":"Proceedings of the USENIX Winter Technical Conference. 125--136","author":"Hastings R.","unstructured":"R. Hastings and B. Joyce . 1992. Purify: Fast detection of memory leaks and access errors . In Proceedings of the USENIX Winter Technical Conference. 125--136 . R. Hastings and B. Joyce. 1992. Purify: Fast detection of memory leaks and access errors. In Proceedings of the USENIX Winter Technical Conference. 125--136.","key":"e_1_2_1_7_1"},{"volume-title":"Proceedings of the 2009 International Conference on Field Programmable Logic and Applications (FPL). Springer","author":"Heiner J.","unstructured":"J. Heiner , B. Sellers , M. Wirthlin , and J. Kalb . 2009. FPGA partial reconfiguration via configuration scrubbing . In Proceedings of the 2009 International Conference on Field Programmable Logic and Applications (FPL). Springer , Berlin, 99--104. J. Heiner, B. Sellers, M. Wirthlin, and J. Kalb. 2009. FPGA partial reconfiguration via configuration scrubbing. In Proceedings of the 2009 International Conference on Field Programmable Logic and Applications (FPL). Springer, Berlin, 99--104.","key":"e_1_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1145\/977091.977150"},{"key":"e_1_2_1_10_1","volume-title":"Technical Report MSR-TR-2007-99. Microsoft Research","author":"Lu H.","year":"2007","unstructured":"H. Lu and A. Florin . 2007 . The Design and Implementation of P2V, An Architecture for Zero-Overhead Online Verification of Software Programs . Technical Report MSR-TR-2007-99. Microsoft Research , Redmond, WA . H. Lu and A. Florin. 2007. The Design and Implementation of P2V, An Architecture for Zero-Overhead Online Verification of Software Programs. Technical Report MSR-TR-2007-99. Microsoft Research, Redmond, WA."},{"doi-asserted-by":"publisher","key":"e_1_2_1_11_1","DOI":"10.1109\/TVLSI.2008.2002047"},{"volume-title":"Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing. IEEE","author":"Mukherjee S.","unstructured":"S. Mukherjee , J. Emer , T. Fossum , and S. Reinhardt . 2004. Cache scrubbing in microprocessors: Myth or necessity? In Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing. IEEE , Piscataway, NJ, 37--42. S. Mukherjee, J. Emer, T. Fossum, and S. Reinhardt. 2004. Cache scrubbing in microprocessors: Myth or necessity? In Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing. IEEE, Piscataway, NJ, 37--42.","key":"e_1_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.1109\/12.980007"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1145\/342001.339652"},{"doi-asserted-by":"publisher","key":"e_1_2_1_15_1","DOI":"10.1109\/CGO.2005.34"},{"volume-title":"Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN). 70--79","author":"Sahoo S.","unstructured":"S. Sahoo , L. Man-Lap , P. Ramachandran , S. Adve , V. Adve , and Z. Yuanyuan . 2008. Using likely program invariants to detect hardware errors . In Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN). 70--79 . S. Sahoo, L. Man-Lap, P. Ramachandran, S. Adve, V. Adve, and Z. Yuanyuan. 2008. Using likely program invariants to detect hardware errors. In Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN). 70--79.","key":"e_1_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_17_1","DOI":"10.1109\/TC.2011.101"},{"key":"e_1_2_1_18_1","volume-title":"Retrieved","author":"Xilinx Corp.","year":"2012","unstructured":"Xilinx Corp. 2012 . Virtex-6\u2122 Series FPGAs: Overview . Retrieved October 14, 2015 from http:\/\/www.xilinx.com\/support\/documentation\/data_sheets\/ds150.pdf. Xilinx Corp. 2012. Virtex-6\u2122 Series FPGAs: Overview. Retrieved October 14, 2015 from http:\/\/www.xilinx.com\/support\/documentation\/data_sheets\/ds150.pdf."},{"volume-title":"Proceedings of the IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems. IEEE Computer Society","author":"Yu S.-Y.","unstructured":"S.-Y. Yu and E. McCluskey . 2001. Permanent fault repair for FPGAs with limited redundant area . In Proceedings of the IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems. IEEE Computer Society , Los Alamitos, CA. S.-Y. Yu and E. McCluskey. 2001. Permanent fault repair for FPGAs with limited redundant area. In Proceedings of the IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems. IEEE Computer Society, Los Alamitos, CA.","key":"e_1_2_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.1109\/MICRO.2004.3"}],"container-title":["ACM Transactions on Reconfigurable Technology and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2751563","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2751563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:07Z","timestamp":1750225387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2751563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,5]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,11,24]]}},"alternative-id":["10.1145\/2751563"],"URL":"https:\/\/doi.org\/10.1145\/2751563","relation":{},"ISSN":["1936-7406","1936-7414"],"issn-type":[{"type":"print","value":"1936-7406"},{"type":"electronic","value":"1936-7414"}],"subject":[],"published":{"date-parts":[[2015,11,5]]},"assertion":[{"value":"2014-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}