{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T23:25:34Z","timestamp":1649114734945},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2010,4]]},"abstract":"<jats:p> In this paper, we present a genetic algorithm (GA) based methodology for vector generation that maximizes the metric of datapath coverage for a given combinational logic circuit, and compare it with a standard greedy algorithm. The search of maximum coverage vectors is a complex optimization of a satisfiability problem. The GA deals with the optimization problem, whilst an external satisfiability solver is invoked to deal with the coverage problem. Experimental results and performance comparisons based on the large set of MCNC'91 suite of benchmark circuits are presented. They show significant speedups of the GA methodology against a greedy algorithm for large circuits. <\/jats:p>","DOI":"10.1142\/s0218126610006165","type":"journal-article","created":{"date-parts":[[2010,3,3]],"date-time":"2010-03-03T09:31:10Z","timestamp":1267608670000},"page":"435-450","source":"Crossref","is-referenced-by-count":1,"title":["A GENETIC ALGORITHM METHODOLOGY TO FIND THE MAXIMUM DATAPATH COVERAGE FOR COMBINATIONAL LOGIC CIRCUITS"],"prefix":"10.1142","volume":"19","author":[{"given":"JAVIER","family":"SOSA","sequence":"first","affiliation":[{"name":"Institute for Applied Microelectronics, University of Las Palmas de Gran Canaria, Las Palmas de Gran Canaria, 35017, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JUAN A.","family":"MONTIEL-NELSON","sequence":"additional","affiliation":[{"name":"Institute for Applied Microelectronics, University of Las Palmas de Gran Canaria, Las Palmas de Gran Canaria, 35017, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SAEID","family":"NOOSHABADI","sequence":"additional","affiliation":[{"name":"Department of Information and Communications, Gwangju Institute of Science and Technology (GIST), Gwangju, 500-712, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"System-on-a-Chip Verification \u2014 Methodology and Techniques","author":"Rashihkar P.","year":"2001"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-38152-7"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.925790"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2219-2"},{"key":"rf20","volume-title":"Theory and Applications of Satisfiability Testing","author":"E\u00e9n N.","year":"2005"},{"key":"rf21","volume-title":"Data Mining Methods and Models","author":"Larose D. T.","year":"2006"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1002\/9780470117811"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126610006165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:52:55Z","timestamp":1565149975000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126610006165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":8,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2010,4]]}},"alternative-id":["10.1142\/S0218126610006165"],"URL":"https:\/\/doi.org\/10.1142\/s0218126610006165","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}