{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:15:04Z","timestamp":1742800504436,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/iccad.2011.6105392","type":"proceedings-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T18:06:43Z","timestamp":1324577203000},"page":"602-607","source":"Crossref","is-referenced-by-count":2,"title":["Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques"],"prefix":"10.1109","author":[{"family":"Bo-Han Wu","sequence":"first","affiliation":[]},{"family":"Chun-Ju Yang","sequence":"additional","affiliation":[]},{"family":"Chia-Cheng Tso","sequence":"additional","affiliation":[]},{"family":"Chung-Yang Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"530","article-title":"An algorithm for me even distribution of entities in one danension","volume":"28","author":"compcon","year":"1985","journal-title":"E Ctmptw Jfamoi"},{"key":"22","article-title":"Mmisat vl. 13-a sat solver aim conflict- dame mmmszanon","author":"sorensson","year":"2005","journal-title":"SAT Cwptaaon"},{"key":"17","first-page":"204","article-title":"Counting CSP solutions using generalized XOR constraints","author":"gomes","year":"2007","journal-title":"AAAI"},{"key":"18","first-page":"453","article-title":"NP is as easy as detectinz umeue sotutions","author":"valiant","year":"1985","journal-title":"SrciC"},{"key":"15","first-page":"174","article-title":"An efficient SMT solver for button and arrays","volume":"5505","author":"brummayer","year":"2009","journal-title":"TACAS"},{"key":"16","first-page":"481","article-title":"Near-uniJarm samplm; Of combinatorial spaces usinz XOR consnamts","author":"gomes","year":"2006","journal-title":"NIPS"},{"key":"13","first-page":"1087","article-title":"Eouanons of state calculations bv fast computing DKmoes","author":"metropolis","year":"1970","journal-title":"J Cjm PHs"},{"key":"14","article-title":"Application of formal wctd-leiel acalviis to consnined random samlaton","author":"kim","year":"2008","journal-title":"CAV"},{"key":"11","first-page":"258","article-title":"Saralus zeaerarian foe coostraaied random amulaBoc","author":"kitchen","year":"2007","journal-title":"ICCAD"},{"key":"12","first-page":"446","article-title":"A Markov chain Mome Carlo sampler for mixed Boolean integer constraints","author":"kitchen","year":"0","journal-title":"CAV"},{"key":"21","first-page":"1027","article-title":"K-means-: The advanazes of careful seeding","author":"armor","year":"2007","journal-title":"SUM"},{"key":"3","first-page":"412","article-title":"Simplifying Boolean constraint solving foe random Simulation-vector generation","volume":"23","author":"yuan","year":"2004","journal-title":"TCAD"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1982.1056489"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810715"},{"journal-title":"SystemVerilog LRM","year":"0","key":"1"},{"journal-title":"Local Search Stratezies Foe sans5abihr Ksnnk","year":"1993","author":"selman","key":"10"},{"key":"7","first-page":"43","article-title":"Random variate zenerauon for unimodal and monocooe densities","volume":"32 c","author":"devrove","year":"1984","journal-title":"Cornpixing"},{"key":"6","first-page":"769","article-title":"Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints","author":"deng","year":"2009","journal-title":"ASPDAC"},{"key":"5","first-page":"664","article-title":"Random stimulus using entropy and XOR eonstTaais","author":"plaza","year":"2008","journal-title":"DATE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2009.4968035"},{"key":"9","first-page":"670","article-title":"Toward, efficient sampling erqjlointf random walk strategies","author":"eremich","year":"2004","journal-title":"ALU"},{"key":"8","first-page":"299","volume":"7 c","author":"iyer","year":"2003","journal-title":"RACE A Word-level ATPG-based Cocsnaairs Solver Svsrem for Smart Ratdoai Sanuanoe"}],"event":{"name":"2011 IEEE\/ACM International Conference on Computer-Aided Design","start":{"date-parts":[[2011,11,7]]},"location":"San Jose, CA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6095474\/6105287\/06105392.pdf?arnumber=6105392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T15:11:53Z","timestamp":1490109113000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6105392\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad.2011.6105392","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}