{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:02Z","timestamp":1750309502308,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T00:00:00Z","timestamp":1737331200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["24H00073"],"award-info":[{"award-number":["24H00073"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJSP2110"],"award-info":[{"award-number":["JPMJSP2110"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,1,20]]},"DOI":"10.1145\/3658617.3697744","type":"proceedings-article","created":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T14:23:57Z","timestamp":1741098237000},"page":"966-973","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-3506-0008","authenticated-orcid":false,"given":"Tomonari","family":"Tanaka","sequence":"first","affiliation":[{"name":"Kyoto Univ., Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1804-2714","authenticated-orcid":false,"given":"Takumi","family":"Uezono","sequence":"additional","affiliation":[{"name":"Hitachi, Yokohama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7466-8789","authenticated-orcid":false,"given":"Kohei","family":"Suenaga","sequence":"additional","affiliation":[{"name":"Kyoto Univ., Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0377-2108","authenticated-orcid":false,"given":"Masanori","family":"Hashimoto","sequence":"additional","affiliation":[{"name":"Kyoto Univ., Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,3,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2024.3349956"},{"key":"e_1_3_2_1_2_1","volume-title":"ML-Based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection. In 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). (June","author":"Jha S.","year":"2019","unstructured":"S. Jha, et al. 2019. ML-Based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection. In 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN). (June 2019), 112--124."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nima.2018.11.106"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2021.3131346"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRPS48228.2024.10529375"},{"key":"e_1_3_2_1_6_1","article-title":"The Impact of Terrestrial Radiation on FPGAs in Data Centers","volume":"15","author":"Keller Andrew M.","year":"2021","unstructured":"Andrew M. Keller, et al. 2021. The Impact of Terrestrial Radiation on FPGAs in Data Centers. ACM Trans. Reconfigurable Technol. Syst., 15, 2, Article 12, (Dec. 2021), 21 pages.","journal-title":"ACM Trans. Reconfigurable Technol. Syst."},{"key":"e_1_3_2_1_7_1","volume-title":"Exploration of Fault Identification and Automatic Recovery in Cloud-based FPGA Systems. In 2024 IEEE International Conference on Consumer Electronics (ICCE), 1--6.","author":"Konno S.","year":"2024","unstructured":"S. Konno, et al. 2024. Exploration of Fault Identification and Automatic Recovery in Cloud-based FPGA Systems. In 2024 IEEE International Conference on Consumer Electronics (ICCE), 1--6."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2018.8347234"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2019.2915207"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3583781.3590226"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472770"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2018.2886094"},{"key":"e_1_3_2_1_13_1","volume-title":"2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 246--249","author":"Iturbe X.","year":"2016","unstructured":"X. Iturbe, et al. 2016. A Triple Core Lock-Step (TCLS) ARM\u00ae Cortex\u00ae-R5 Processor for Safety-Critical and Ultra-Reliable Applications. In 2016 46th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 246--249."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2018.2852606"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2018.2884460"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2022.3174181"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2019.2956473"},{"key":"e_1_3_2_1_18_1","volume-title":"Soft Error Mitigation for Deep Convolution Neural Network on FPGA Accelerators. In 2020 2nd IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS), 1--5.","author":"Li W.","year":"2020","unstructured":"W. Li, et al. 2020. Soft Error Mitigation for Deep Convolution Neural Network on FPGA Accelerators. In 2020 2nd IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS), 1--5."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2021.3063083"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2020.113969"},{"key":"e_1_3_2_1_21_1","volume-title":"Light-Weight Soft-Errors Detection Mechanism in High-Level Synthesis. In 2020 IEEE International Symposium on Circuits and Systems (ISCAS), 1--5.","author":"Zhu Z.","year":"2020","unstructured":"Z. Zhu, et al. 2020. Light-Weight Soft-Errors Detection Mechanism in High-Level Synthesis. In 2020 IEEE International Symposium on Circuits and Systems (ISCAS), 1--5."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2023.3245842"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898054"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2012.6263960"},{"key":"e_1_3_2_1_25_1","volume-title":"DeepVigor: VulnerabIlity Value RanGes and FactORs for DNNs' Reliability Assessment. In 2023 IEEE European Test Symposium (ETS), 1--6.","author":"Ahmadilivani Mohammad Hasan","year":"2023","unstructured":"Mohammad Hasan Ahmadilivani, et al. 2023. DeepVigor: VulnerabIlity Value RanGes and FactORs for DNNs' Reliability Assessment. In 2023 IEEE European Test Symposium (ETS), 1--6."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356177"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593200"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898097"},{"key":"e_1_3_2_1_29_1","volume-title":"MLC: A Machine Learning Based Checker For Soft Error Detection In Embedded Processors. In 2022 IEEE 28th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1--5.","author":"Nosrati N.","year":"2022","unstructured":"N. Nosrati, et al. 2022. MLC: A Machine Learning Based Checker For Soft Error Detection In Embedded Processors. In 2022 IEEE 28th International Symposium on On-Line Testing and Robust System Design (IOLTS), 1--5."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.52549\/ijeei.v11i2.4264"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868433.1868438"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2020.105077"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMA.2007.4304170"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2017.88"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197525"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"W. Fang et al. 2024. AssertLLM: Generating and evaluating hardware verification assertions from design specifications via multi-LLMs. arXiv preprint arXiv:2402.00386.","DOI":"10.1109\/LAD62341.2024.10691792"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2022.3178474"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"A. Yamawaki et al. 2018. A Describing Method of An Image Processing Software in C for A High-level Synthesis Considering A Function Chaining. IEICE Transactions on Information and Systems E101D 2 (Feb. 2018) 324--334.","DOI":"10.1587\/transinf.2017RCP0001"},{"key":"e_1_3_2_1_39_1","unstructured":"B. Degnan. 2021. Verilog Implementation of the Symmetric Block Cipher AES (NIST FIPS 197). https:\/\/github.com\/secworks\/aes. (2021)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"}],"event":{"name":"ASPDAC '25: 30th Asia and South Pacific Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEICE","IPSJ","IEEE CAS","IEEE CEDA"],"location":"Tokyo Japan","acronym":"ASPDAC '25"},"container-title":["Proceedings of the 30th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658617.3697744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658617.3697744","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658617.3697744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:50Z","timestamp":1750295870000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658617.3697744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,20]]},"references-count":40,"alternative-id":["10.1145\/3658617.3697744","10.1145\/3658617"],"URL":"https:\/\/doi.org\/10.1145\/3658617.3697744","relation":{},"subject":[],"published":{"date-parts":[[2025,1,20]]},"assertion":[{"value":"2025-03-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}