{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T22:26:36Z","timestamp":1775082396738,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T00:00:00Z","timestamp":1642377600000},"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":[[2022,1,17]]},"DOI":"10.1109\/asp-dac52403.2022.9712550","type":"proceedings-article","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T22:39:17Z","timestamp":1645483157000},"page":"281-287","source":"Crossref","is-referenced-by-count":9,"title":["RTL Regression Test Selection using Machine Learning"],"prefix":"10.1109","author":[{"given":"Ganapathy","family":"Parthasarathy","sequence":"first","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]},{"given":"Aabid","family":"Rushdi","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]},{"given":"Parivesh","family":"Choudhary","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]},{"given":"Saurav","family":"Nanda","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]},{"given":"Malan","family":"Evans","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]},{"given":"Hansika","family":"Gunasekara","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]},{"given":"Sridhar","family":"Rajakumar","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Mountain View,CA"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MLCAD48534.2019.9142105"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593114"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2071356.2071363"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391536"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348910"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.84.4.327"},{"key":"ref17","year":"2019","journal-title":"Verilog Compiler and Simulator (VCS®)"},{"key":"ref18","first-page":"403","article-title":"Comparative study of techniques for large-scale feature selection","volume":"16","author":"ferri","year":"1994","journal-title":"Machine Intelligence and Pattern Recognition"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PATMOS.2017.8106976"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159683"},{"key":"ref3","volume":"1","author":"bergeron","year":"2006","journal-title":"Verification Methodology Manual for SystemVerilog"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6849-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.162"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"970","DOI":"10.1145\/309847.310108","article-title":"A study in coverage-driven test generation","author":"benjamin","year":"1999","journal-title":"Proceedings of the 36th Annual ACM\/IEEE Design Automation Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744921"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2007.4392805"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296779"},{"key":"ref20","author":"lee","year":"2018","journal-title":"Determining a subset of tests"}],"event":{"name":"2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Taipei, Taiwan","start":{"date-parts":[[2022,1,17]]},"end":{"date-parts":[[2022,1,20]]}},"container-title":["2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9712466\/9712479\/09712550.pdf?arnumber=9712550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T16:34:38Z","timestamp":1674837278000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9712550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,17]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/asp-dac52403.2022.9712550","relation":{},"subject":[],"published":{"date-parts":[[2022,1,17]]}}}