{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:39Z","timestamp":1747806759456},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1109\/aspdac.2010.5419814","type":"proceedings-article","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T19:36:49Z","timestamp":1267558609000},"page":"613-618","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Constraint Generation for guided random simulation"],"prefix":"10.1109","author":[{"family":"Hu-Hsi Yeh","sequence":"first","affiliation":[]},{"given":"Chung-Yang","family":"Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_12"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2002.994973"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.5"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147097"},{"key":"ref14","first-page":"63","article-title":"An effective guidance strategy for abstraction-guided simulation","author":"paula","year":"2007","journal-title":"Design Automation Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397275"},{"year":"0","key":"ref16"},{"year":"0","key":"ref17"},{"year":"0","key":"ref18"},{"year":"0","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref3","first-page":"502","article-title":"An extensible SAT solver","author":"een","year":"2003","journal-title":"Conference on Theory and Application of Satisfiability Testing"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253780"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219012"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244050"},{"key":"ref7","first-page":"120","article-title":"Smart simulation using collaborative formal and simulation engines","author":"ho","year":"2000","journal-title":"Digest Tech Papers IEEE\/ACM Int'l Conf Computer-Aided Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.823348"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810715"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229336"},{"year":"0","key":"ref20"},{"year":"0","key":"ref22"},{"year":"0","key":"ref21"},{"year":"0","key":"ref23"}],"event":{"name":"2010 15th Asia and South Pacific Design Automation Conference ASP-DAC 2010","start":{"date-parts":[[2010,1,18]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2010,1,21]]}},"container-title":["2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5415928\/5419673\/05419814.pdf?arnumber=5419814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:47:14Z","timestamp":1602690434000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5419814"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2010.5419814","relation":{},"subject":[],"published":{"date-parts":[[2010,1]]}}}