{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:23:55Z","timestamp":1783700635738,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T00:00:00Z","timestamp":1718150400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Commonwealth Cyber Initiative","award":["HHN-3Q24-043"],"award-info":[{"award-number":["HHN-3Q24-043"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,12]]},"DOI":"10.1145\/3649476.3660386","type":"proceedings-article","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T12:29:41Z","timestamp":1718022581000},"page":"240-245","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Exploring Coverage Metrics in Hardware Fuzzing: A Comprehensive Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8296-2144","authenticated-orcid":false,"given":"Raghul","family":"Saravanan","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, George Mason University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4417-2387","authenticated-orcid":false,"given":"Sai Manoj","family":"Pudukotai Dinakarrao","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, George Mason University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203772"},{"key":"e_1_3_2_1_2_1","unstructured":"Nitay Artenstein. 2017. BroadPWN: Remotely Compromising Android and iOS Via a Bug in Broachom\u2019s Wi-Fi Chipsets. In BlackHat USA."},{"key":"e_1_3_2_1_3_1","volume-title":"USENIX Security Symposium.","author":"Bulck Jo\u00a0Van","year":"2018","unstructured":"Jo\u00a0Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas\u00a0F. Wenisch, Yuval Yarom, and Raoul Strackx. 2018. Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. In USENIX Security Symposium."},{"key":"e_1_3_2_1_4_1","unstructured":"Cadence. [n. d.]. Cadence Webpage. https:\/\/www.cadence.com\/en_US\/home.html Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_5_1","unstructured":"Cadence Inc. [n. d.]. JasperGold Formal Verification Platform. https:\/\/www.cadence.com\/en US\/home\/tools\/system-design-and-verification\/formal-and-static-verification\/jasper-gold-verification-platform.html Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_6_1","volume-title":"ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance. In IEEE International Symposium on Hardware Oriented Security and Trust (HOST).","author":"Canakci S.","unstructured":"S. Canakci, C. Rajapaksha, L. Delshadtehrani, A. Nataraja, M. Taylor, M. Egele, and A. Joshi. 2023. ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance. In IEEE International Symposium on Hardware Oriented Security and Trust (HOST)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.49"},{"key":"e_1_3_2_1_8_1","unstructured":"Cisco. [n. d.]. CVE-2021-34696 in Cisco Routers. https:\/\/sec.cloudapps.cisco.com\/security\/center\/content\/CiscoSecurityAdvisory\/cisco-sa-asr900acl-UeEyCxkv Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_9_1","volume-title":"USENIX Conference on Security Symposium.","author":"Dessouky Ghada","year":"2019","unstructured":"Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun Kanuparthi, Hareesh Khattri, Jason\u00a0M. Fung, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran. 2019. Hardfails: Insights into Software-Exploitable Hardware Bugs. In USENIX Conference on Security Symposium."},{"key":"e_1_3_2_1_10_1","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design (ICCAD).","author":"Dinakarrao Sai","unstructured":"Sai Manoj\u00a0P Dinakarrao, H. Yu, C. Gu, and C. Zhuo. 2014. A zonotoped macromodeling for reachability verification of eye-diagram in high-speed I\/O links with jitter. In IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000170"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH53687.2021.9642252"},{"key":"e_1_3_2_1_13_1","volume-title":"Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors. In International Symposium on Quality Electronic Design (ISQED).","author":"Gogri Saumil","year":"2022","unstructured":"Saumil Gogri, Aakash Tyagi, Michael Quinn, and Jiang Hu. 2022. Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors. In International Symposium on Quality Electronic Design (ISQED)."},{"key":"e_1_3_2_1_14_1","unstructured":"Google. [n. d.]. Americal Fuzzy Loop. https:\/\/github.com\/google\/AFL Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2034347"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137024"},{"key":"e_1_3_2_1_17_1","volume-title":"Property Specific Information Flow Analysis for Hardware Security Verification. In IEEE\/ACM International Conference on Computer-Aided Design (ICCAD).","author":"Hu Wei","year":"2018","unstructured":"Wei Hu, Armaiti Ardeshiricham, Mustafa\u00a0S Gobulukoglu, Xinmu Wang, and Ryan Kastner. 2018. Property Specific Information Flow Analysis for Hardware Security Verification. In IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"e_1_3_2_1_19_1","unstructured":"Intel. 2019. Machine Check Error Avoidance on Page Size Change\/CVE-2018-12207. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/troubleshooting\/software-security-guidance\/advisory-guidance\/machine-check-error-avoidance-page-size-change.html Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_20_1","volume-title":"Effective Processor Verification with Logic Fuzzer Enhanced Co-Simulation. In IEEE\/ACM International Symposium on Microarchitecture.","author":"Kabylkas Nursultan","year":"2021","unstructured":"Nursultan Kabylkas, Tommy Thorn, Shreesha Srinath, Polychronis Xekalakis, and Jose Renau. 2021. Effective Processor Verification with Logic Fuzzer Enhanced Co-Simulation. In IEEE\/ACM International Symposium on Microarchitecture."},{"key":"e_1_3_2_1_21_1","volume-title":"TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities. In USENIX Security Symposium (USENIX Security).","author":"Kande Rahul","year":"2022","unstructured":"Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, and Jeyavijayan Rajendran. 2022. TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities. In USENIX Security Symposium (USENIX Security)."},{"key":"e_1_3_2_1_22_1","volume-title":"Spectre Attacks: Exploiting Speculative Execution. In IEEE Symposium on Security and Privacy (S&P\u201919)","author":"Kocher Paul","year":"2019","unstructured":"Paul Kocher, Jann Horn, Anders Fogh, , Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. 2019. Spectre Attacks: Exploiting Speculative Execution. In IEEE Symposium on Security and Privacy (S&P\u201919)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"e_1_3_2_1_24_1","volume-title":"IEEE International Symposium on Circuits and Systems (ISCAS).","author":"Li T","unstructured":"T Li, H Zou, Luo D, and Qu W. 2021. Symbolic simulation enhanced coverage-directed fuzz testing of RTL design. In IEEE International Symposium on Circuits and Systems (ISCAS)."},{"key":"e_1_3_2_1_25_1","volume-title":"IEEE Custom Integrated Circuits Conf.","author":"Lin J.","unstructured":"J. Lin, S. Zhu, Z. Yu, D. Xu, Sai Manoj\u00a0Pudukotai Dinakarrao, and H. Yu. 2015. A scalable and reconfigurable 2.5D integrated multicore processor on silicon interposer. In IEEE Custom Integrated Circuits Conf."},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX Security Symposium.","author":"Lipp Moritz","year":"2018","unstructured":"Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. 2018. Meltdown: Reading Kernel Memory from User Space. In USENIX Security Symposium."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2016.2633348"},{"key":"e_1_3_2_1_28_1","volume-title":"Fuzzing: Art, Science, and Engineering. CoRR abs\/1812.00140","author":"Man\u00e8s Valentin","year":"2018","unstructured":"Valentin J.\u00a0M. Man\u00e8s, HyungSeok Han, Choongwoo Han, Sang\u00a0Kil Cha, Manuel Egele, Edward\u00a0J. Schwartz, and Maverick Woo. 2018. Fuzzing: Art, Science, and Engineering. CoRR abs\/1812.00140 (2018)."},{"key":"e_1_3_2_1_29_1","unstructured":"MITRE Corportation. [n. d.]. CVE-2023-29856 in D-Link. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2023-29856 Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_30_1","volume-title":"HyperFuzzing for SoC Security Validation. In IEEE\/ACM International Conference On Computer Aided Design (ICCAD).","author":"Muduli Sujit\u00a0Kumar","year":"2020","unstructured":"Sujit\u00a0Kumar Muduli, Gourav Takhar, and Pramod Subramanyan. 2020. HyperFuzzing for SoC Security Validation. In IEEE\/ACM International Conference On Computer Aided Design (ICCAD)."},{"key":"e_1_3_2_1_31_1","volume-title":"Hardware Verification Using Software Analyzers. In IEEE Computer Society Annual Symposium on VLSI.","author":"Mukherjee Rajdeep","year":"2015","unstructured":"Rajdeep Mukherjee, Daniel Kroening, and Tom Melham. 2015. Hardware Verification Using Software Analyzers. In IEEE Computer Society Annual Symposium on VLSI."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2481873"},{"key":"e_1_3_2_1_33_1","unstructured":"NIST National Vulnerability Database - HP. [n. d.]. CVE-2004-2439 in HP Printers. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2004-2439 Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_34_1","unstructured":"NIST National Vulnerability Database - Microsoft. [n. d.]. CVE-2004-2439 in Microsoft Xbox. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2007-1221 Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_35_1","unstructured":"NVIDIA. [n. d.]. CVE-2021-1088 in NVIDIA GPU and Tegra Hardware. https:\/\/nvidia.custhelp.com\/app\/answers\/detail\/a_id\/5263 Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_36_1","unstructured":"NVIDIA Corportation. [n. d.]. CVE-2021-1071 in NVIDIA Hardware. https:\/\/nvidia.custhelp.com\/app\/answers\/detail\/a_id\/5147 Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_37_1","unstructured":"Andreas Olofsson. [n. d.]. Intelligent Design of Electronic Assets (IDEA) & Posh Open Source Hardware (POSH). https:\/\/www.darpa.mil\/attachments\/eri_design_proposers_day.pdf Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2020.02.001"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.41"},{"key":"e_1_3_2_1_40_1","unstructured":"Raghul Saravanan and Sai Manoj\u00a0Pudukotai Dinakarrao. 2024. The Emergence of Hardware Fuzzing: A Critical Review of its Significance. arxiv:2403.12812\u00a0[cs.CR]"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354252"},{"key":"e_1_3_2_1_42_1","volume-title":"USENIX Security Symposium.","author":"Serebryany Kostya","year":"2017","unstructured":"Kostya Serebryany. 2017. OSS-Fuzz - Google\u2019s continuous fuzzing service for open source software. In USENIX Security Symposium."},{"key":"e_1_3_2_1_43_1","volume-title":"Automation Test in Europe Conference Exhibition (DATE).","author":"Song Y.","unstructured":"Y. Song, Sai Manoj\u00a0P Dinakarrao, and H. Yu. 2014. Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations. In Design, Automation Test in Europe Conference Exhibition (DATE)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2304704"},{"key":"e_1_3_2_1_45_1","volume-title":"Fuzzing: Brute Force Vulnerability Discovery","author":"Sutton Michael","year":"2007","unstructured":"Michael Sutton, Adam Greene, and Pedram Amini. 2007. Fuzzing: Brute Force Vulnerability Discovery. Addison-Wesley Professional."},{"key":"e_1_3_2_1_46_1","volume-title":"Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. In International SoC Design Conference (ISOCC).","author":"Tang Shibo","year":"2022","unstructured":"Shibo Tang, Xingxin Wang, Yifei Gao, and Wei Hu. 2022. Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. In International SoC Design Conference (ISOCC)."},{"key":"e_1_3_2_1_47_1","volume-title":"Fuzzing Hardware Like Software. In USENIX Security Symposium (USENIX Security).","author":"Trippel Timothy","year":"2022","unstructured":"Timothy Trippel, Kang\u00a0G. Shin, Alex Chernyakhovsky, Garret Kelly, Dominic Rizzo, and Matthew Hicks. 2022. Fuzzing Hardware Like Software. In USENIX Security Symposium (USENIX Security)."},{"key":"e_1_3_2_1_48_1","unstructured":"Verilator. [n. d.]. Welcome to Verilator. https:\/\/www.veripool.org\/verilator\/ Last accessed: 04\/29\/2024."},{"key":"e_1_3_2_1_49_1","volume-title":"Automation & Test in Europe Conference & Exhibition.","author":"Wagner Ilya","year":"2007","unstructured":"Ilya Wagner and Valeria Bertacco. 2007. Engineering Trust with Semantic Guardians. In Design, Automation & Test in Europe Conference & Exhibition."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194554.3194561"},{"key":"e_1_3_2_1_51_1","volume-title":"Asia and South Pacific Design Automation Conference.","author":"Yang Jin","unstructured":"Jin Yang and A. Puder. 2005. Tightly integrate dynamic verification with formal verification: a GSTE based approach. In Asia and South Pacific Design Automation Conference."},{"key":"e_1_3_2_1_52_1","volume-title":"Asia and South Pacific Design Automation Conference (ASP-DAC).","author":"Yang Song","year":"2014","unstructured":"Song Yang, Sai Manoj\u00a0P Dinakarrao, and Hao Yu. 2014. A robustness optimization of SRAM dynamic stability by sensitivity-based reachability analysis. In Asia and South Pacific Design Automation Conference (ASP-DAC)."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694372"}],"event":{"name":"GLSVLSI '24: Great Lakes Symposium on VLSI 2024","location":"Clearwater FL USA","acronym":"GLSVLSI '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3660386","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649476.3660386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T02:32:24Z","timestamp":1755829944000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3660386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,12]]},"references-count":53,"alternative-id":["10.1145\/3649476.3660386","10.1145\/3649476"],"URL":"https:\/\/doi.org\/10.1145\/3649476.3660386","relation":{},"subject":[],"published":{"date-parts":[[2024,6,12]]},"assertion":[{"value":"2024-06-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}