{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T20:01:57Z","timestamp":1791921717982,"version":"4.3.4"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Alibaba Innovative Research Program"},{"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"}]},{"DOI":"10.13039\/501100001809","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB4500500"],"award-info":[{"award-number":["2022YFB4500500"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100021171","name":"Basic and Applied Basic Research Foundation of Guangdong Province","doi-asserted-by":"publisher","award":["2023A1515110353"],"award-info":[{"award-number":["2023A1515110353"]}],"id":[{"id":"10.13039\/501100021171","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangzhou Municipal Science and Technology","award":["2024A04J4528"],"award-info":[{"award-number":["2024A04J4528"]}]},{"name":"Guangzhou-HKUST(GZ) Joint Funding","award":["2024A03J0624"],"award-info":[{"award-number":["2024A03J0624"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,1]]},"DOI":"10.1109\/tcad.2024.3430195","type":"journal-article","created":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T17:21:09Z","timestamp":1721236869000},"page":"371-384","source":"Crossref","is-referenced-by-count":10,"title":["NoCFuzzer: Automating NoC Verification in UVM"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9067-9538","authenticated-orcid":false,"given":"Ruiyang","family":"Ma","sequence":"first","affiliation":[{"name":"School of Computer Science and the Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4011-6668","authenticated-orcid":false,"given":"Jiayi","family":"Huang","sequence":"additional","affiliation":[{"name":"Microelectronics Thrust, The Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8062-0961","authenticated-orcid":false,"given":"Shijian","family":"Zhang","sequence":"additional","affiliation":[{"name":"Computing Technology Lab, Alibaba DAMO Academy, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuan","family":"Xie","sequence":"additional","affiliation":[{"name":"Department of Electronic and Computer Engineering, The Hong Kong University of Science and Technology, Sai Kung, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4932-3655","authenticated-orcid":false,"given":"Guojie","family":"Luo","sequence":"additional","affiliation":[{"name":"School of Computer Science and the Center for Energy-Efficient Computing and Applications, Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1132952.1132953"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2020.09.013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1201\/9781003277538-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480093"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2007.1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICGCS.2010.5543050"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2011.57"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2014.6972449"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3991\/ijes.v6i4.9416"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2017.8011112"},{"key":"ref11","first-page":"71","article-title":"A reusable coverage-driven verification environment for network-on-chip communication in embedded system platforms","volume-title":"Proc. Workshop Intell. Solu. Embedded Syst.","author":"Vitullo"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2011.06.005"},{"key":"ref13","first-page":"1","article-title":"If systemVerilog is so good, why do we need the UVM? Sharing responsibilities between libraries and the core language","volume-title":"Proc. Forum Specification Design Lang.","author":"Bromley"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISOCC.2011.6138671"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICAIS50930.2021.9396034"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICICM50929.2020.9292250"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASICON.2015.7517189"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"ref19","first-page":"3237","article-title":"Fuzzing hardware like software","volume-title":"Proc. USENIX Security Symp.","author":"Trippel"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586289"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"ref22","first-page":"1","article-title":"RTLFUZZLAB: Building a modular open-source hardware fuzzing framework","volume-title":"Proc. Workshop Open-Source EDA Technol.","author":"Fajardo"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247942"},{"key":"ref24","first-page":"3219","article-title":"TheHuzz: Instruction fuzzing of processors using golden-reference models for finding software-exploitable vulnerabilities","volume-title":"Proc. USENIX Security Symp.","author":"Kande"},{"key":"ref25","article-title":"HyPFuzz: Formal-assisted processor fuzzing","author":"Chen","year":"2023","journal-title":"arXiv:2304.02485"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/HOST55118.2023.10133714"},{"key":"ref27","volume-title":"LibFuzzer: A library for coverage-guided fuzz testing","year":"2018"},{"key":"ref28","volume-title":"American fuzzy lop (2.52b)","author":"Zalewski","year":"2017"},{"key":"ref29","volume-title":"Verilator","author":"Snyder","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2954679.2872414"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59418-7_5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546548"},{"key":"ref33","volume-title":"OpenSPARC T1 Microarchitecture Specification, Sun Microsyst., Inc","year":"2006"},{"key":"ref34","volume-title":"Principles and Practices of Interconnection Networks","author":"Dally","year":"2004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/NoCArc57472.2022.9911299"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2016.7482094"},{"key":"ref37","first-page":"1","article-title":"RFNoC: RF network-on-chip","volume-title":"Proc. GNU Radio Conf.","volume":"1","author":"Braun"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0473-3"},{"key":"ref39","volume-title":"Hardware Verification With System Verilog: An Object-Oriented Framework","author":"Mintz","year":"2007"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3339002"},{"key":"ref41","volume-title":"VCS: The industry\u2019s highest performance simulation solution","year":"2024"},{"key":"ref42","volume-title":"SymbiYosys (SBY) documentation","author":"Eda","year":"2023"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00062"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.3837\/tiis.2013.08.014"},{"key":"ref45","first-page":"489","article-title":"TCP-fuzz: Detecting memory and semantic bugs in TCP stacks with fuzzing","volume-title":"Proc. USENIX Annu. Tech. Conf. (USENIX ATC 21)","author":"Zou"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978411"},{"issue":"5","key":"ref47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3358227","article-title":"Polar: Function code aware fuzz testing of ICS protocol","volume":"18","author":"Luo","year":"2019","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218603"},{"key":"ref49","first-page":"2523","article-title":"Analysis of DTLS implementations using protocol state fuzzing","volume-title":"Proc. USENIX Security Symp.","author":"Fiterau-Brostean"},{"key":"ref50","first-page":"1","article-title":"Protocol state fuzzing of TLS implementations","volume-title":"Proc. USENIX Security Symp.","author":"Ruiter"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/10814105\/10601229.pdf?arnumber=10601229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,25]],"date-time":"2024-12-25T19:29:28Z","timestamp":1735154968000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10601229\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":50,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2024.3430195","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1]]}}}