{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:33:00Z","timestamp":1763724780502,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62090021"],"award-info":[{"award-number":["62090021"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key R&D Program of China","award":["2022YFB4500500"],"award-info":[{"award-number":["2022YFB4500500"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,30]]},"DOI":"10.1145\/3716368.3735190","type":"proceedings-article","created":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:00:26Z","timestamp":1751032826000},"page":"626-633","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Bridging the Gap between Hardware Fuzzing and Industrial Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9067-9538","authenticated-orcid":false,"given":"Ruiyang","family":"Ma","sequence":"first","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3310-1659","authenticated-orcid":false,"given":"Tianhao","family":"Wei","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6599-6142","authenticated-orcid":false,"given":"Jiaxi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3906-7926","authenticated-orcid":false,"given":"Chun","family":"Yang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4401-3551","authenticated-orcid":false,"given":"Jiangfang","family":"Yi","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4932-3655","authenticated-orcid":false,"given":"Guojie","family":"Luo","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,29]]},"reference":[{"unstructured":"CHIPS Alliance. 2024. Verilator. https:\/\/verilator.org\/guide\/latest\/.","key":"e_1_3_3_2_2_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_3_2","DOI":"10.1109\/DAC18074.2021.9586289"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_4_2","DOI":"10.1109\/HOST55118.2023.10133714"},{"key":"e_1_3_3_2_5_2","first-page":"1361","volume-title":"32nd USENIX Security Symposium","author":"Chen Chen","year":"2023","unstructured":"Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, and Jeyavijayan Rajendran. 2023. HyPFuzz: Formal-Assisted Processor Fuzzing. In 32nd USENIX Security Symposium. 1361\u20131378."},{"doi-asserted-by":"crossref","unstructured":"Marek Cieplucha. 2019. Metric-driven verification methodology with regression management. Journal of Electronic Testing 35 1 101\u2013110.","key":"e_1_3_3_2_6_2","DOI":"10.1007\/s10836-019-05777-0"},{"key":"e_1_3_3_2_7_2","volume-title":"Workshop on Open-Source EDA Technology.","author":"Fajardo Brandon","year":"2021","unstructured":"Brandon Fajardo, Kevin Laeufer, Jonathan Bachrach, and Koushik Sen. 2021. RtlFuzzLab: Building A Modular Open-Source Hardware Fuzzing Framework. In Workshop on Open-Source EDA Technology."},{"unstructured":"Harry Foster. 2022. Wilson Research Group Functional Verification Study. Siemens.","key":"e_1_3_3_2_8_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_9_2","DOI":"10.1109\/nanoarch53687.2021.9642252"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_10_2","DOI":"10.23919\/date56975.2023.10137024"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_11_2","DOI":"10.1109\/SP40001.2021.00103"},{"unstructured":"The LLVM\u00a0Compiler Infrastructure. 2018. LibFuzzer: a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html.","key":"e_1_3_3_2_12_2"},{"doi-asserted-by":"crossref","unstructured":"A Jayasena and P Mishra. 2024. Directed test generation for hardware validation: A survey. Comput. Surveys 56 5 1\u201336.","key":"e_1_3_3_2_13_2","DOI":"10.1145\/3638046"},{"key":"e_1_3_3_2_14_2","first-page":"3219","volume-title":"31st USENIX Security Symposium","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 31st USENIX Security Symposium. 3219\u20133236."},{"key":"e_1_3_3_2_15_2","first-page":"1","volume-title":"IEEE\/ACM International Conference on Computer-Aided Design","author":"Laeufer Kevin","year":"2018","unstructured":"Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, and Koushik Sen. 2018. RFUZZ: Coverage-directed fuzz testing of RTL on FPGAs. In IEEE\/ACM International Conference on Computer-Aided Design. 1\u20138."},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_16_2","DOI":"10.1109\/DAC56929.2023.10247942"},{"unstructured":"Ruiyang Ma Jiayi Huang Shijian Zhang Yuan Xie and Guojie Luo. 2024. NoCFuzzer: Automating NoC Verification in UVM. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.","key":"e_1_3_3_2_17_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_18_2","DOI":"10.23919\/DATE58400.2024.10546548"},{"doi-asserted-by":"publisher","unstructured":"Valentin\u00a0J.M. Manes HyungSeok Han Choongwoo Han Sang\u00a0Kil Cha Manuel Egele Edward\u00a0J. Schwartz and Maverick Woo. 2021. The Art Science and Engineering of Fuzzing: A Survey. IEEE Transactions on Software Engineering 2312\u20132331. 10.1109\/tse.2019.2946563","key":"e_1_3_3_2_19_2","DOI":"10.1109\/tse.2019.2946563"},{"unstructured":"AnaI. Molina and Oswaldo Cadenas. 2007. Functional Verification: Approaches and Challenges. Latin American Applied Research.","key":"e_1_3_3_2_20_2"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_21_2","DOI":"10.1145\/3293882.3330576"},{"unstructured":"Berkeley\u00a0Architecture Research. 2014. RISC-V Sodor. https:\/\/github.com\/ucb-bar\/riscv-sodor.","key":"e_1_3_3_2_22_2"},{"unstructured":"Berkeley\u00a0Architecture Research. 2016. Rocket Chip. https:\/\/github.com\/chipsalliance\/rocket-chip.","key":"e_1_3_3_2_23_2"},{"unstructured":"Siemens. 2023. Siemens Questa. https:\/\/eda.sw.siemens.com\/.","key":"e_1_3_3_2_24_2"},{"unstructured":"SiFive. 2016. SiFive Blocks. https:\/\/github.com\/sifive\/sifive-blocks.","key":"e_1_3_3_2_25_2"},{"unstructured":"Synopsys. 2023. Synopsys VCS. https:\/\/www.synopsys.com\/verification\/simulation\/ vcs.html.","key":"e_1_3_3_2_26_2"},{"unstructured":"Synopsys. 2023. VCS Coverage Technology User Guide.","key":"e_1_3_3_2_27_2"},{"unstructured":"Fabian Thomas Lorenz Hetterich Ruiyi Zhang Daniel Weber Lukas Gerlach and Michael Schwarz. 2024. RISCVuzz: Discovering Architectural CPU Vulnerabilities via Differential Hardware Fuzzing. https:\/\/ghostwriteattack.com\/.","key":"e_1_3_3_2_28_2"},{"key":"e_1_3_3_2_29_2","first-page":"3237","volume-title":"31st USENIX Security Symposium","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 31st USENIX Security Symposium. 3237\u20133254."},{"unstructured":"Micha\u0142 Zalewski. 2013. American fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl.","key":"e_1_3_3_2_30_2"}],"event":{"sponsor":["SIGDA ACM Special Interest Group on Design Automation"],"acronym":"GLSVLSI '25","name":"GLSVLSI '25: Great Lakes Symposium on VLSI 2025","location":"New Orleans LA USA"},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2025"],"original-title":[],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:37:09Z","timestamp":1751035029000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716368.3735190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,29]]},"references-count":29,"alternative-id":["10.1145\/3716368.3735190","10.1145\/3716368"],"URL":"https:\/\/doi.org\/10.1145\/3716368.3735190","relation":{},"subject":[],"published":{"date-parts":[[2025,6,29]]},"assertion":[{"value":"2025-06-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}