{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:34Z","timestamp":1750307914604,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1228784.1228805","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"67-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Co-evolutionary high-level test synthesis"],"prefix":"10.1145","author":[{"given":"Soheil","family":"Aminzadeh","sequence":"first","affiliation":[{"name":"University of Tehran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saeed","family":"Safari","sequence":"additional","affiliation":[{"name":"University of Tehran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"volume-title":"California","year":"1988","author":"McFarland M. C.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.52214"},{"key":"e_1_3_2_1_3_1","unstructured":"Michael L. Bushnell Vishwani D. Agrawal Essentials of Electronic Testing for Digital Memory and Mixed-Signal VLSI Circuits Kluwer Academic Publishers 2000.  Michael L. Bushnell Vishwani D. Agrawal Essentials of Electronic Testing for Digital Memory and Mixed-Signal VLSI Circuits Kluwer Academic Publishers 2000."},{"key":"e_1_3_2_1_4_1","first-page":"205","article-title":"Considering Testability during High-Level Design","author":"Dey S.","year":"1998","journal-title":"ASP DAC"},{"key":"e_1_3_2_1_5_1","unstructured":"L.J. Avra E.J. McCluskey \"High-level synthesis of testable design: An overview of university systems \" IEEE International Test Conference - Test Synthesis Seminar Washington D.C. 1994.  L.J. Avra E.J. McCluskey \"High-level synthesis of testable design: An overview of university systems \" IEEE International Test Conference - Test Synthesis Seminar Washington D.C. 1994."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240543"},{"key":"e_1_3_2_1_7_1","unstructured":"Mike Tien Chien Lee High Level Test Synthesis of Digital VLSI Circuits Artech House Press 1997.   Mike Tien Chien Lee High Level Test Synthesis of Digital VLSI Circuits Artech House Press 1997."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164897"},{"key":"e_1_3_2_1_9_1","unstructured":"J. Steensma F. Catthor and H.D. Man \" Test of high Throughput Data Paths with Symbolic Controllability and Observability Descriptions \" In Proceedings of 6th Workshop New Directions for testing pp 67--76 May 1992.  J. Steensma F. Catthor and H.D. Man \" Test of high Throughput Data Paths with Symbolic Controllability and Observability Descriptions \" In Proceedings of 6th Workshop New Directions for testing pp 67--76 May 1992."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/288548.288564"},{"key":"e_1_3_2_1_11_1","first-page":"158","article-title":"Volpe, \"Scanning Data Paths: A Fast and Effective Partial Scan Technique","author":"Flottes M.L.","year":"1998","journal-title":"Proceedings of DATE"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2005.08.004"},{"key":"e_1_3_2_1_13_1","first-page":"74","volume-title":"Proceedings of DATE","author":"Yang T.","year":"1998"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.21835"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/37888.37920"},{"volume-title":"Heidelberg: Springer","year":"2003","author":"Eiben A.E.","key":"e_1_3_2_1_16_1"},{"issue":"2","key":"e_1_3_2_1_17_1","first-page":"58","article-title":"An overview of genetic algorithms: Part 1, fundamentals","volume":"15","author":"Beasley D.","year":"1993","journal-title":"University Computing"},{"key":"e_1_3_2_1_18_1","first-page":"263","article-title":"HAL: a multi-paradigm approach to automatic data path synthesis","author":"Paulin P.G.","year":"1989","journal-title":"Proceedings of the Design Automation Conference"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.402494"},{"key":"e_1_3_2_1_20_1","unstructured":"HOPE (version 2.0) Dong S. Ha (ha@vt.edu) Web: http:\/\/www.ee.vt.edu\/ha Virginia Polytechnic Institute & State University.  HOPE (version 2.0) Dong S. Ha (ha@vt.edu) Web: http:\/\/www.ee.vt.edu\/ha Virginia Polytechnic Institute & State University."}],"event":{"name":"GLSVLSI07: Great Lakes Symposium on VLSI 2007","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"Stresa-Lago Maggiore Italy","acronym":"GLSVLSI07"},"container-title":["Proceedings of the 17th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1228784.1228805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:57Z","timestamp":1750258077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":20,"alternative-id":["10.1145\/1228784.1228805","10.1145\/1228784"],"URL":"https:\/\/doi.org\/10.1145\/1228784.1228805","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}