{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:52:46Z","timestamp":1730199166991,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"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":[],"published-print":{"date-parts":[[2023,10,14]]},"DOI":"10.1109\/ats59501.2023.10317999","type":"proceedings-article","created":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T19:09:33Z","timestamp":1700507373000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Template-Based and Coverage-Guided Verification Instruction Set Automatic Generation Method for DSP Chip"],"prefix":"10.1109","author":[{"given":"Ying","family":"Shang","sequence":"first","affiliation":[{"name":"Beijing University of Chemical Technology,Department of Computer Science,Beijing,China,100029"}]},{"given":"Kun","family":"Chang","sequence":"additional","affiliation":[{"name":"Beijing University of Chemical Technology,Department of Computer Science,Beijing,China,100029"}]},{"given":"Ruilian","family":"Zhao","sequence":"additional","affiliation":[{"name":"Beijing University of Chemical Technology,Department of Computer Science,Beijing,China,100029"}]},{"given":"Zhigang","family":"Yin","sequence":"additional","affiliation":[{"name":"Institute of Automation,Chinese Academy of Sciences,Beijing,China,100080"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2012.6401532"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/b116577"},{"issue":"6","key":"ref3","first-page":"317","article-title":"Instruction Set Verification Method for High Performance DSP Based on Coverage-driven[J]","volume":"40","author":"Chang","year":"2014","journal-title":"Computer Engineering"},{"key":"ref4","article-title":"Verification of RISC-V design with Universal Verification Methodology (UVM)[D]","author":"Liew","year":"2022","journal-title":"UTAR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3569966.3570071"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253703"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307540"},{"volume-title":"Functional Verification Automation for IP, Bridging the Gap Between IP Developers and IPIntegrators[EB\/GL]","key":"ref8","article-title":"Verisity Whitepaper"},{"issue":"15","key":"ref9","first-page":"227","article-title":"Constraint-based Random Test Model for Microprocessor Interface Unit[J]","volume":"33","author":"Huan","year":"2007","journal-title":"Jisuanji Gongcheng\/ Computer Engineering"},{"issue":"10","key":"ref10","first-page":"1612","article-title":"A coverage directed test generation platform for microprocessors using genetic approach[J]","volume":"46","author":"Shen","year":"2009","journal-title":"J Comput Res Dev"},{"issue":"4","key":"ref11","article-title":"Multi-layer random stimulus strategy for microprocessor verification[M]","volume":"27","author":"Zhang","year":"2010","journal-title":"APPLICATION RESEARCH OF COMPUTERS"},{"issue":"4","key":"ref12","first-page":"1077","article-title":"Functional verification of \u201cShenWei-1\u201d high performance microprocessor","volume":"20","author":"Huang","year":"2009","journal-title":"Journal of Software"}],"event":{"name":"2023 IEEE 32nd Asian Test Symposium (ATS)","start":{"date-parts":[[2023,10,14]]},"location":"Beijing, China","end":{"date-parts":[[2023,10,17]]}},"container-title":["2023 IEEE 32nd Asian Test Symposium (ATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10317938\/10317940\/10317999.pdf?arnumber=10317999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T05:00:30Z","timestamp":1713848430000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10317999\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,14]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ats59501.2023.10317999","relation":{},"subject":[],"published":{"date-parts":[[2023,10,14]]}}}