{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:24:46Z","timestamp":1792185886470,"version":"4.4.0"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1109\/tcad.2021.3066560","type":"journal-article","created":{"date-parts":[[2021,3,17]],"date-time":"2021-03-17T19:53:11Z","timestamp":1616010791000},"page":"466-477","source":"Crossref","is-referenced-by-count":31,"title":["RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5787-0101","authenticated-orcid":false,"given":"Xingyu","family":"Meng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5992-8554","authenticated-orcid":false,"given":"Shamik","family":"Kundu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arun K.","family":"Kanuparthi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6431-7512","authenticated-orcid":false,"given":"Kanad","family":"Basu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000170"},{"key":"ref2","first-page":"213","article-title":"HardFails: Insights into software-exploitable hardware bugs","volume-title":"Proc. USENIX Security Symp.","author":"Dessouky"},{"key":"ref3","volume-title":"CWE\u2014CWE-1194: Hardware Design (4.0)","year":"2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1201\/b16134-8"},{"key":"ref5","volume-title":"Navigating a Product Security Journey","year":"2020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2172\/1226426"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"ref9","article-title":"Verilator and systemperl","volume-title":"Proc. North Amer. SystemC Users\u2019 Group DAC","author":"Snyder"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00071"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2009.5340179"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342260"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024404"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1508284.1508258"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837337"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927266"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2020.02.001"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354246"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2012.6224318"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694366"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00030"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240839"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3219763.3219764"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045731"},{"key":"ref26","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. OSDI","volume":"8","author":"Cadar"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.07.006"},{"key":"ref28","volume-title":"VerifOx\u2014A Tool for Path-Wise Symbolic Execution","year":"2020"},{"key":"ref29","volume-title":"GitHub\u2014PFNet-Research\/ATPG4SV: A Prototype of Concolic Testing Engine for SystemVerilog, Developed as Part of PFN Summer Internship 2018","year":"2020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.25"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.935475"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEA.2016.7603701"},{"key":"ref33","volume-title":"GitHub: Seth-Lab-Tamu\/HackDac-2018-SoC: Buggy SoC Used for the Second Phase of the Hack@DAC 2018 Hardware Security Competition","year":"2020"},{"key":"ref34","volume-title":"GitHub\u2014PrincetonUniversity\/OpenPiton: The OpenPiton Platform","year":"2020"},{"key":"ref35","volume-title":"Jaspergold Formal Verification Platform (Apps)","year":"2020"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378260"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9716240\/09380345.pdf?arnumber=9380345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:33:41Z","timestamp":1704843221000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9380345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":36,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3066560","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3]]}}}