{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:46:22Z","timestamp":1787017582145,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":24,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Commonwealth Cyber Initiative"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,12]]},"DOI":"10.1145\/3649476.3658697","type":"proceedings-article","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T12:29:41Z","timestamp":1718022581000},"page":"192-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["The Fuzz Odyssey: A Survey on Hardware Fuzzing Frameworks for Hardware Design Verification"],"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","volume-title":"BROADPWN: Remotely Compromising Android and iOS via a bug in BROADCOM\u2019S Wi-Fi Chipsets. In BlackHat USA.","author":"Artenstein Nitay","year":"2017","unstructured":"Nitay Artenstein. 2017. BROADPWN: Remotely Compromising Android and iOS via a bug in BROADCOM\u2019S Wi-Fi Chipsets. In BlackHat USA."},{"key":"e_1_3_2_1_2_1","unstructured":"A.Yen. 2012. Trends in the Global IC Design Service Market. In Digitimes. https:\/\/www.digitimes.com\/news\/a20120313RS400.html&chid=2 last accessed 3\/4\/24."},{"key":"e_1_3_2_1_3_1","volume-title":"WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors. arXiv preprint arXiv:2402.03704","author":"Borkar Pallavi","year":"2024","unstructured":"Pallavi Borkar, Chen Chen, Mohamadreza Rostami, Nikhilesh Singh, Rahul Kande, Ahmad-Reza Sadeghi, Chester Rebeiro, and Jeyavijayan Rajendran. 2024. WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors. arXiv preprint arXiv:2402.03704 (2024)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586289"},{"key":"e_1_3_2_1_5_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_6_1","unstructured":"Chen Chen Rahul Kande Nathan Nguyen Flemming Andersen Aakash Tyagi Ahmad-Reza Sadeghi and Jeyavijayan Rajendran. 2023. HyPFuzz: Formal-Assisted Processor Fuzzing. 1361\u20131378."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2009.4919362"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.49"},{"key":"e_1_3_2_1_9_1","volume-title":"Hyperproperties. In 2008 21st IEEE Computer Security Foundations Symposium. 51\u201365","author":"R.","unstructured":"Michael\u00a0R. Clarkson and Fred\u00a0B. Schneider. 2008. Hyperproperties. In 2008 21st IEEE Computer Security Foundations Symposium. 51\u201365."},{"key":"e_1_3_2_1_10_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_11_1","volume-title":"2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD).","author":"Manoj\u00a0Pudukotai Dinakarrao Sai","unstructured":"Sai Manoj\u00a0Pudukotai 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 2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2751615"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694366"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137024"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"e_1_3_2_1_16_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_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"e_1_3_2_1_18_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_19_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_20_1","unstructured":"Andreas Olofsson. 2017. Intelligent Design of Electronic Assets (IDEA) & Posh Open Source Hardware (POSH). https:\/\/www.darpa.mil\/attachments\/eri_design_proposers_day.pdf Last accessed: 3\/3\/2024."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Chathura Rajapaksha Leila Delshadtehrani Manuel Egele and Ajay Joshi. 2023. SIGFuzz: A Framework for Discovering Microarchitectural Timing Side Channels.","DOI":"10.23919\/DATE56975.2023.10136966"},{"key":"e_1_3_2_1_22_1","unstructured":"REDSCAN. 2021. 2021 has officially been a record-breaking year for vulnerabilities.https:\/\/www.redscan.com\/news\/nist-nvd-analysis-2021-record-vulnerabilities\/#:\u00a0:text=2021%20was%20an%20especially%20difficult 50%20CVEs%20logged%20each%20day last accessed 3\/2\/24."},{"key":"e_1_3_2_1_23_1","unstructured":"TechInsights. 2017. Apple iPhone 15 Pro Teardown. In TechInsights. https:\/\/www.techinsights.com\/blog\/apple-iphone-15-pro-teardown last accessed 3\/2\/24."},{"key":"e_1_3_2_1_24_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)."}],"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.3658697","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649476.3658697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T02:30:45Z","timestamp":1755829845000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3658697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,12]]},"references-count":24,"alternative-id":["10.1145\/3649476.3658697","10.1145\/3649476"],"URL":"https:\/\/doi.org\/10.1145\/3649476.3658697","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"}}]}}