{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:03:44Z","timestamp":1729631024792,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/hldvt.2011.6113988","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T14:31:55Z","timestamp":1325860315000},"page":"128-135","source":"Crossref","is-referenced-by-count":2,"title":["Utilizing GPGPUs for design validation with a modified Ant Colony Optimization"],"prefix":"10.1109","author":[{"given":"Min","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kelson","family":"Gent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/TCAD.2007.907229","article-title":"Primary input vectors to avoid in random test sequences for synchronous sequential circuits","volume":"27","author":"pomeranz","year":"2008","journal-title":"Computer-Aided Design of Integrated Circuits and Systems IEEE Transactions on"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244050"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2004.1387345"},{"key":"13","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1278480.1278498","article-title":"an effective guidance strategy for abstraction-guided simulation","author":"de paula","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"14","first-page":"1","article-title":"Mining-guided state justification with partitioned navigation tracks","author":"parikh","year":"0","journal-title":"Test Conference 2007 ITC 2007 IEEE International Oct 2007"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277201"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205179"},{"journal-title":"State Justification Benchmarks","year":"0","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630056"},{"key":"20","first-page":"1125","article-title":"ITC99 benchmark circuits - Preliminary results","author":"davidson","year":"0","journal-title":"Proc 1999 IEEE Int Symp Circuits Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-010-5147-x"},{"journal-title":"Nvidia CUDA Homepage","year":"0","key":"1"},{"key":"10","first-page":"428","article-title":"Symbolic model checking: 1020 states and beyond","author":"burch","year":"0","journal-title":"Logic in Computer Science 1990 LICS '90 Proceedings Fifth Annual IEEE Symposium Jun 1990"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2008.31"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2006.329691"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2010.12"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837369"},{"key":"9","first-page":"418","article-title":"Model checking based on sequential ATPG","author":"boppana","year":"0","journal-title":"Proc Computer-Aided Verification Conf 1999"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2009.5355676"}],"event":{"name":"2011 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2011,11,9]]},"location":"Napa Valley, CA, USA","end":{"date-parts":[[2011,11,11]]}},"container-title":["2011 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093762\/6113979\/06113988.pdf?arnumber=6113988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:22:54Z","timestamp":1497946974000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6113988\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2011.6113988","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}