{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T20:15:28Z","timestamp":1773778528036,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,10]],"date-time":"2023-09-10T00:00:00Z","timestamp":1694304000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,10]],"date-time":"2023-09-10T00:00:00Z","timestamp":1694304000000},"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,9,10]]},"DOI":"10.1109\/mlcad58807.2023.10299818","type":"proceedings-article","created":{"date-parts":[[2023,10,31]],"date-time":"2023-10-31T17:50:10Z","timestamp":1698774610000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Optimizing Constrained Random Verification with ML and Bayesian Estimation"],"prefix":"10.1109","author":[{"given":"Bhuvnesh","family":"Kumar","sequence":"first","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,CA"}]},{"given":"Ganapathy","family":"Parthasarathy","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,CA"}]},{"given":"Saurav","family":"Nanda","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,CA"}]},{"given":"Sridhar","family":"Rajakumar","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,CA"}]}],"member":"263","reference":[{"key":"ref13","first-page":"3237","article-title":"Fuzzing hardware like software","author":"trippel","year":"2022","journal-title":"31st USENIX Security Symposium (USENIX Security 22)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"ref15","article-title":"Mining coverage data for test set coverage efficiency","author":"farkash","year":"2015","journal-title":"Design and Verification Conference DVCON 2015"},{"key":"ref14","article-title":"American fuzzy lop technical details","author":"zalewski","year":"2017"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586289"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431241"},{"key":"ref2","author":"motwani","year":"1995","journal-title":"Randomized Algorithms ser Cambridge International Series on Parallel Computation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"key":"ref8","article-title":"Test parameter tuning with blackbox optimization: A simple yet effective way to improve coverage","author":"huang","year":"2022","journal-title":"Proceedings of the design and verification conference and exhibition US (DVCon)"},{"key":"ref7","article-title":"Deep predictive coverage collection","author":"roy","year":"2018","journal-title":"Proceedings of the design and verification conference and exhibition US (DVCon)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC52403.2022.9712550"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296779"},{"key":"ref6","author":"gelman","year":"2013","journal-title":"Bayesian Data Analysis Third Edition ser Chapman & Hall\/CRC Texts in Statistical Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD56317.2022.00041"}],"event":{"name":"2023 ACM\/IEEE 5th Workshop on Machine Learning for CAD (MLCAD)","location":"Snowbird, UT, USA","start":{"date-parts":[[2023,9,10]]},"end":{"date-parts":[[2023,9,13]]}},"container-title":["2023 ACM\/IEEE 5th Workshop on Machine Learning for CAD (MLCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10299723\/10299805\/10299818.pdf?arnumber=10299818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T19:32:24Z","timestamp":1701113544000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10299818\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/mlcad58807.2023.10299818","relation":{},"subject":[],"published":{"date-parts":[[2023,9,10]]}}}