{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T02:42:58Z","timestamp":1758595378176,"version":"3.44.0"},"reference-count":27,"publisher":"Association for Computing Machinery (ACM)","issue":"5","funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"crossref","award":["Task 3065.001 and Task 3066.001"],"award-info":[{"award-number":["Task 3065.001 and Task 3066.001"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2025,9,30]]},"abstract":"<jats:p>As System-on-Chip (SoC) designs become increasingly complex, ensuring comprehensive verification has become more challenging, leading to overlooked hardware bugs that can be found in the field. Addressing hardware bugs post-deployment is difficult, as they typically cannot be easily fixed like software bugs. To tackle this issue, hardware-based patching mechanisms have emerged as a potential solution for providing in-field fixes. However, the lack of a standardized method to evaluate the \u201dpatchability\u201d of different designs complicates the integration of patching infrastructure into SoCs. In this article, we propose a fully parameterized Patch Support Block (PSB) architecture that can be tailored for various hardware designs, enabling post-deployment patching. We introduce a novel patchability score formulation that provides a quantifiable metric for evaluating the effectiveness of patching designs. Our approach considers both the observability and controllability of the patching hardware and provides a framework for system integrators to maximize patchability while managing resource constraints. Through experimentation with multiple design configurations, we demonstrate how our methodology can enhance patchability in hardware systems and provide security-related fixes for SoCs in real-world scenarios.<\/jats:p>","DOI":"10.1145\/3762185","type":"journal-article","created":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T11:23:56Z","timestamp":1756725836000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Patchability-Driven Design Exploration for System-on-Chip Patching Architectures"],"prefix":"10.1145","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4075-3499","authenticated-orcid":false,"given":"Wei-Kai","family":"Liu","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, Duke University","place":["Durham, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7642-3638","authenticated-orcid":false,"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"Electrical and Software Engineering, University of Calgary","place":["Calgary, Canada"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4475-6435","authenticated-orcid":false,"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[{"name":"Arizona State University","place":["Tempe, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,9,20]]},"reference":[{"key":"e_1_3_1_2_2","volume-title":"Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design","author":"Ahmad Baleegh","year":"2022","unstructured":"Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, et\u00a0al. 2022. Don\u2019t CWEAT it: Toward CWE analysis techniques in early stages of hardware design. In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design."},{"key":"e_1_3_1_3_2","unstructured":"Baleegh Ahmad Shailja Thakur Benjamin Tan Ramesh Karri and Hammond Pearce. 2023. Fixing hardware security bugs with large language models. arXiv:2302.01215. Retrieved from https:\/\/arxiv.org\/abs\/2302.01215"},{"key":"e_1_3_1_4_2","doi-asserted-by":"crossref","unstructured":"D. Ariando C. Chen M. Greer and S. Mandal. 2019. An autonomous highly portable NMR spectrometer based on a low-cost System-on-Chip (SoC). Journal of Magnetic Resonance 299 (2019) 74\u201392.","DOI":"10.1016\/j.jmr.2018.12.007"},{"key":"e_1_3_1_5_2","doi-asserted-by":"crossref","unstructured":"J. Balkind M. McKeown Y. Fu T. Nguyen Y. Zhou A. Lavrov M. Shahrad A. Fuchs S. Payne X. Liang and M. Matl. 2016. OpenPiton: An open source manycore research framework. ACM SIGPLAN Notices 51 4 (2016) 217\u2013232.","DOI":"10.1145\/2954679.2872414"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372616"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530638"},{"key":"e_1_3_1_8_2","doi-asserted-by":"crossref","unstructured":"W. Chen S. Ray J. Bhadra M. Abadir and L. C. Wang. 2017. Challenges and trends in modern SoC design verification. IEEE Design & Test 34 5 (2017) 7\u201322.","DOI":"10.1109\/MDAT.2017.2735383"},{"key":"e_1_3_1_9_2","volume-title":"Proceedings of the USENIX Security Symposium","author":"Delshadtehrani Leila","year":"2020","unstructured":"Leila Delshadtehrani, Sadullah Canakci, Boyou Zhou, Schuyler Eldridge, Ajay Joshi, and Manuel Egele. 2020. PHMon: A programmable hardware monitor and its security use cases. In Proceedings of the USENIX Security Symposium."},{"key":"e_1_3_1_10_2","volume-title":"Proceedings of the USENIX Security Symposium","author":"Dessouky Ghada","year":"2019","unstructured":"Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun K. Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran. 2019. HardFails: Insights into software-exploitable hardware bugs.. In Proceedings of the USENIX Security Symposium."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS60994.2024.10616068"},{"key":"e_1_3_1_12_2","unstructured":"HACK@EVENT. 2022. HACK@DAC21 \u2013 HacK@EVENT. Retrieved 15 September 2025 from https:\/\/hackatevent.org\/hackdac21\/"},{"key":"e_1_3_1_13_2","volume-title":"Proceedings of the International Conference on Advances in Mechanical Engineering","author":"Ishtiaq Arslan","year":"2021","unstructured":"Arslan Ishtiaq, Misha Urooj Khan, SZ Ali, Kanwal Habib, Sana Samer, and Enass Hafeez. 2021. A review of system on chip (SoC) applications in internet of things (IoT) and medical. In Proceedings of the International Conference on Advances in Mechanical Engineering."},{"key":"e_1_3_1_14_2","volume-title":"Fault-Tolerant Systems","author":"Koren Israel","year":"2020","unstructured":"Israel Koren and C. Mani Krishna. 2020. Fault-Tolerant Systems. Morgan Kaufmann."},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.4324\/9781003057529"},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473895"},{"key":"e_1_3_1_17_2","doi-asserted-by":"crossref","unstructured":"W. K. Liu B. Tan J. M. Fung R. Karri and K. Chakrabarty. 2022. Hardware-supported patching of security bugs in hardware IP blocks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42 1 (2022) 54\u201367.","DOI":"10.1109\/TCAD.2022.3168513"},{"key":"e_1_3_1_18_2","volume-title":"Common Evaluation Platform","author":"Labs MIT Lincoln","year":"2020","unstructured":"MIT Lincoln Labs. 2020. Common Evaluation Platform. Retrieved 15 September 2025 from https:\/\/github.com\/mit-ll\/CEP"},{"key":"e_1_3_1_19_2","article-title":"Resilient system-on-chip designs with NoC fabrics","author":"Nath Atul Prasad Deb","year":"2020","unstructured":"Atul Prasad Deb Nath, Srivalli Boddupalli, Swarup Bhunia, and Sandip Ray. 2020. Resilient system-on-chip designs with NoC fabrics. IEEE Transactions on Information Forensics and Security 15 (2020), 2808\u20132823.","journal-title":"IEEE Transactions on Information Forensics and Security"},{"key":"e_1_3_1_20_2","volume-title":"Proceedings of the Asia and South Pacific Design Automation Conference (ASP-DAC)","author":"Nath Atul Prasad Deb","year":"2018","unstructured":"Atul Prasad Deb Nath, Sandip Ray, Abhishek Basak, and Swarup Bhunia. 2018. System-on-chip security architecture and CAD framework for hardware patch. In Proceedings of the Asia and South Pacific Design Automation Conference (ASP-DAC)."},{"key":"e_1_3_1_21_2","article-title":"A comprehensive survey of attacks without physical access targeting hardware vulnerabilities in IoT\/IIoT devices, and their detection mechanisms","author":"Polychronou Nikolaos-Foivos","year":"2021","unstructured":"Nikolaos-Foivos Polychronou, Pierre-Henri Thevenon, Maxime Puys, and Vincent Beroulle. 2021. A comprehensive survey of attacks without physical access targeting hardware vulnerabilities in IoT\/IIoT devices, and their detection mechanisms. ACM Transactions on Design Automation of Electronic Systems (TODAES) 27, 1 (2021), 1\u201335.","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"e_1_3_1_22_2","volume-title":"Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","author":"Rahman Mridha Md Mashahedur","year":"2023","unstructured":"Mridha Md Mashahedur Rahman, Shams Tarek, Kimia Zamiri Azar, and Farimah Farahmandi. 2023. EnSAFe: Enabling sustainable SoC security auditing using eFPGA-based accelerators. In Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)."},{"key":"e_1_3_1_23_2","doi-asserted-by":"crossref","unstructured":"S. R. Sridhara M. DiRenzo S. Lingam S. J. Lee R. Blazquez J. Maxey S. Ghanem Y. H. Lee R. Abdallah P. Singh and M. Goel. 2011. Microwatt embedded processor platform for medical system-on-chip applications. IEEE Journal of Solid-State Circuits 46 4 (2011) 721\u2013730.","DOI":"10.1109\/JSSC.2011.2108910"},{"key":"e_1_3_1_24_2","doi-asserted-by":"crossref","unstructured":"M. B. Srinivas and K. Elango. 2024. Era of sentinel tech: Charting hardware security landscapes through post-silicon innovation threat mitigation and future trajectories. IEEE Access 12 (2024) 68061\u201368108.","DOI":"10.1109\/ACCESS.2024.3400624"},{"key":"e_1_3_1_25_2","doi-asserted-by":"crossref","unstructured":"B. Tan R. Elnaggar J. M. Fung R. Karri and K. Chakrabarty. 2020. Toward hardware-based IP vulnerability detection and post-deployment patching in systems-on-chip. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40 6 (2020) 1158\u20131171.","DOI":"10.1109\/TCAD.2020.3019772"},{"key":"e_1_3_1_26_2","unstructured":"The MITRE Corporation. 2021. CWE-1194: CWE VIEW: Hardware Design. Retrieved 15 September 2025 from https:\/\/cwe.mitre.org\/data\/definitions\/1194.html"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00052"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC54400.2022.9939659"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3762185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T10:27:48Z","timestamp":1758536868000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3762185"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,20]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,9,30]]}},"alternative-id":["10.1145\/3762185"],"URL":"https:\/\/doi.org\/10.1145\/3762185","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"type":"print","value":"1084-4309"},{"type":"electronic","value":"1557-7309"}],"subject":[],"published":{"date-parts":[[2025,9,20]]},"assertion":[{"value":"2025-02-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-04","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}