{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:03Z","timestamp":1750306923222,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,11,5]],"date-time":"2012-11-05T00:00:00Z","timestamp":1352073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001868","name":"National Science Council Taiwan","doi-asserted-by":"publisher","award":["NSC 99-2221-E-002-211-MY3"],"award-info":[{"award-number":["NSC 99-2221-E-002-211-MY3"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,11,5]]},"DOI":"10.1145\/2429384.2429405","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"109-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A robust general constrained random pattern generator for constraints with variable ordering"],"prefix":"10.1145","author":[{"given":"Bo-Han","family":"Wu","sequence":"first","affiliation":[{"name":"National Taiwan University"}]},{"given":"Chung-Yang (Ric)","family":"Huang","sequence":"additional","affiliation":[{"name":"National Taiwan University"}]}],"member":"320","published-online":{"date-parts":[[2012,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1800","author":"Unified Hardware Design IEEE","year":"2005","journal-title":"IEEE Std"},{"key":"e_1_3_2_1_2_1","first-page":"584","article-title":"Modeling design constraints and biasing in simulation using BDDs","author":"Yuan J.","year":"1999","journal-title":"ICCAD"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.823348"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2009.4968035"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403538"},{"key":"e_1_3_2_1_6_1","first-page":"769","article-title":"Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints","author":"Deng S.","year":"2009","journal-title":"ASPDAC"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02243018"},{"key":"e_1_3_2_1_8_1","first-page":"299","article-title":"RACE: A word-level ATPG-based constraints solver system for smart random simulation","author":"Iyer M. A.","year":"2003","journal-title":"ITC"},{"key":"e_1_3_2_1_9_1","first-page":"670","article-title":"Towards efficient sampling: exploiting random walk strategies","author":"Wei W.","year":"2004","journal-title":"AAAI"},{"key":"e_1_3_2_1_10_1","unstructured":"B. Selman H. A. Kautz and B. Cohen \"Local search strategies for satisfiability testing \" DMTCS 1993.  B. Selman H. A. Kautz and B. Cohen \"Local search strategies for satisfiability testing \" DMTCS 1993."},{"key":"e_1_3_2_1_11_1","first-page":"258","article-title":"Stimulus generation for constrained random simulation","author":"Kitchen N.","year":"2007","journal-title":"ICCAD"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_34"},{"key":"e_1_3_2_1_13_1","article-title":"Equations of state calculations by fast computing machines","author":"Metropolis N.","year":"1970","journal-title":"J. Cjem. Phys. pp. 1087--1092"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_46"},{"key":"e_1_3_2_1_15_1","first-page":"602","article-title":"Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques","author":"Wu B.-H","year":"2011","journal-title":"ICCAD"},{"key":"e_1_3_2_1_16_1","unstructured":"MiniSAT 2.20 website: http:\/\/minisat.se\/MiniSat.html  MiniSAT 2.20 website: http:\/\/minisat.se\/MiniSat.html"}],"event":{"name":"ICCAD '12: The International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"],"location":"San Jose California","acronym":"ICCAD '12"},"container-title":["Proceedings of the International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429384.2429405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:25Z","timestamp":1750235725000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,5]]},"references-count":16,"alternative-id":["10.1145\/2429384.2429405","10.1145\/2429384"],"URL":"https:\/\/doi.org\/10.1145\/2429384.2429405","relation":{},"subject":[],"published":{"date-parts":[[2012,11,5]]},"assertion":[{"value":"2012-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}