{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:48:20Z","timestamp":1761648500935,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/isvdat.2016.8064887","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T20:40:08Z","timestamp":1507840808000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Planning based guided reconstruction of corner cases in architectural validation"],"prefix":"10.1109","author":[{"given":"Rajib Lochan","family":"Jana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shashank","family":"Kuchibhotla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soumyajit","family":"Dey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rakesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Microtesk","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277207"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76898"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1992.246202"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1993.410646"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/92.311641"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.5"},{"key":"ref17","first-page":"175","article-title":"Micro architecture coverage directed generation of test programs","author":"ur","year":"1999","journal-title":"Proc DAC"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"journal-title":"Constraint-Based Verification","year":"2006","author":"yuan","key":"ref19"},{"journal-title":"Sdram","year":"0","key":"ref4"},{"key":"ref3","article-title":"Learning microarchitec-tural behaviors to improve stimuli generation quality","author":"kartz","year":"2011","journal-title":"DAC ACM"},{"journal-title":"DMA","year":"0","key":"ref6"},{"journal-title":"ARM code","year":"0","key":"ref5"},{"journal-title":"Synopsys","year":"0","key":"ref8"},{"journal-title":"VCS","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488881"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2252055"},{"journal-title":"Fast Forward","year":"0","key":"ref9"},{"key":"ref20","first-page":"13","article-title":"Constraint-based random stimuli generation for hardware verification","volume":"28","author":"naveh","year":"2007","journal-title":"Al Magazine"}],"event":{"name":"2016 20th International Symposium on VLSI Design and Test (VDAT)","start":{"date-parts":[[2016,5,24]]},"location":"Guwahati, India","end":{"date-parts":[[2016,5,27]]}},"container-title":["2016 20th International Symposium on VLSI Design and Test (VDAT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8059694\/8064831\/08064887.pdf?arnumber=8064887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T20:28:52Z","timestamp":1512073732000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8064887\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/isvdat.2016.8064887","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}