{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:37:09Z","timestamp":1725748629638},"reference-count":15,"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.10317973","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":["MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain"],"prefix":"10.1109","author":[{"given":"Yue","family":"Cheng","sequence":"first","affiliation":[{"name":"School of Computer Science, National University of Defense Technology,Changsha,Hunan,P.R.China,410073"}]},{"given":"Hongji","family":"Zou","sequence":"additional","affiliation":[{"name":"School of Computer Science, National University of Defense Technology,Changsha,Hunan,P.R.China,410073"}]},{"given":"Jiayu","family":"He","sequence":"additional","affiliation":[{"name":"School of Computer Science, National University of Defense Technology,Changsha,Hunan,P.R.China,410073"}]},{"given":"Chen","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer Science, National University of Defense Technology,Changsha,Hunan,P.R.China,410073"}]},{"given":"Tun","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science, National University of Defense Technology,Changsha,Hunan,P.R.China,410073"}]},{"given":"Han","family":"Long","sequence":"additional","affiliation":[{"name":"School of Computer Science, National University of Defense Technology,Changsha,Hunan,P.R.China,410073"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/FPL.2017.8056860"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.50"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.21"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603014"},{"article-title":"Checking safety properties using induction and a sat-solver","volume-title":"Third International Conference on Formal Methods in Computer-Aided Design (FMCAD 2000)","author":"Stalmarck","key":"ref6"},{"key":"ref7","article-title":"A liveness checking algorithm that counts","author":"Claessen","year":"2012","journal-title":"2012 Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203780"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2022.05.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586289"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS51556.2021.9401267"},{"key":"ref15","first-page":"448","article-title":"Markov chains. in the series cambridge series in statistical and probabilistic mathematics","author":"Power","year":"1999","journal-title":"Contemporary Physics"}],"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\/10317973.pdf?arnumber=10317973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T04:42:17Z","timestamp":1712983337000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10317973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,14]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ats59501.2023.10317973","relation":{},"subject":[],"published":{"date-parts":[[2023,10,14]]}}}