{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:43:43Z","timestamp":1761597823524,"version":"3.37.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,6,3]],"date-time":"2017-06-03T00:00:00Z","timestamp":1496448000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10836-017-5665-x","type":"journal-article","created":{"date-parts":[[2017,6,3]],"date-time":"2017-06-03T05:19:44Z","timestamp":1496467184000},"page":"431-447","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["An Automatic Functional Coverage for Digital Systems Through a Binary Particle Swarm Optimization Algorithm with a Reinitialization Mechanism"],"prefix":"10.1007","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1968-0785","authenticated-orcid":false,"given":"Alfonso","family":"Mart\u00ednez-Cruz","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Barr\u00f3n-Fern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Her\u00f3n","family":"Molina-Lozano","sequence":"additional","affiliation":[]},{"given":"Marco-Antonio","family":"Ram\u00edrez-Salinas","sequence":"additional","affiliation":[]},{"given":"Luis-Alfonso","family":"Villa-Vargas","sequence":"additional","affiliation":[]},{"given":"Prometeo","family":"Cort\u00e9s-Antonio","sequence":"additional","affiliation":[]},{"given":"Kwang-Ting","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,3]]},"reference":[{"issue":"4","key":"5665_CR1","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TEVC.2006.880326","volume":"13","author":"MR AlRashidi","year":"2009","unstructured":"AlRashidi MR, El-Hawary ME (2009) A survey of particle swarm optimization applications in electric power systems. IEEE Trans Evol Comput 13(4):913\u2013918. doi: 10.1109\/TEVC.2006.880326","journal-title":"IEEE Trans Evol Comput"},{"key":"5665_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1109\/EURCON.2005.1629899","volume-title":"EUROCON 2005 - The international conference on computer as a tool","author":"F Afshinmanesh","year":"2005","unstructured":"Afshinmanesh F, Marandi A, Rahimi-Kian A (2005) A novel binary particle swarm optimization method using artificial immune system EUROCON 2005 - The international conference on computer as a tool, pp 217\u2013220. doi: 10.1109\/EURCON.2005.1629899"},{"key":"5665_CR3","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1109\/CEC.2001.934425","volume-title":"Proceedings of the IEEE evolutionary computation","author":"M Bose","year":"2001","unstructured":"Bose M, Shin J, Rudnick EM, Dukes T, Abadir M (2001) A genetic approach to automatic bias generation for biased random instruction generation. In: Proceedings of the IEEE evolutionary computation, pp 442\u2013448. doi: 10.1109\/CEC.2001.934425"},{"issue":"4","key":"5665_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10836-015-5540-6","volume":"31","author":"AM Cruz","year":"2015","unstructured":"Cruz AM, Fernandez RB, Lozano HM, Salinas MR, Villas LA (2015) Automated functional test generation for digital systems through a compact binary differential evolution algorithm. J Electron Test 31 (4):361\u2013380. doi: 10.1007\/s10836-015-5540-6","journal-title":"J Electron Test"},{"key":"5665_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1109\/DATE.2000.840300","volume-title":"Proceedings of the IEEE conference on design, automation and test in Europe (DATE)","author":"F Corno","year":"2000","unstructured":"Corno F, Reorda MS, Squillero G, Manzone A, Pincetti A (2000) Automatic test bench generation for validation of RTL-level descriptions: an industrial experience. In: Proceedings of the IEEE conference on design, automation and test in Europe (DATE), pp 385\u2013389. doi: 10.1109\/DATE.2000.840300"},{"key":"5665_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2463209.2488881","volume-title":"Proceedings of the 50th ACM\/EDAC\/IEEE design automation conference (DAC), Austin, TX","author":"W Chen","year":"2013","unstructured":"Chen W, Wang L-C, Bhadra J, Abadir M (2013) Simulation knowledge extraction and reuse in constrained random processor verification. In: Proceedings of the 50th ACM\/EDAC\/IEEE design automation conference (DAC), Austin, TX, pp 1\u20136. doi: 10.1145\/2463209.2488881"},{"key":"5665_CR7","doi-asserted-by":"publisher","unstructured":"Chen W-N, Zhang J, Chung HSH, Zhong W-L, Wu W-G, Shi Y-H (2010) A novel set-based particle swarm optimization method for discrete optimization problems. IEEE Trans Evol Comput 14(2):. doi: 10.1109\/TEVC.2009.2030331","DOI":"10.1109\/TEVC.2009.2030331"},{"key":"5665_CR8","doi-asserted-by":"crossref","unstructured":"Eberhart R, Kennedy J (1995) A new optimizer using particle swarm theory. In: Sixth international symposium on micro machine and human science, pp 39\u201343","DOI":"10.1109\/MHS.1995.494215"},{"key":"5665_CR9","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/775832.775907","volume-title":"Proceedings of the IEEE design automation conference (DAC)","author":"S Fine","year":"2003","unstructured":"Fine S, Ziv A (2003) Coverage directed test generation for functional verification using bayesian networks. In: Proceedings of the IEEE design automation conference (DAC), pp 286\u2013291. doi: 10.1145\/775832.775907"},{"key":"5665_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/ATS.2013.51","volume-title":"Proceedings IEEE 22nd Asian test symposium","author":"K Gent","year":"2013","unstructured":"Gent K, Hsiao MS (2013) Functional test generation at the RTL using swarm intelligence and bounded model checking. In: Proceedings IEEE 22nd Asian test symposium, pp 233\u2013238. doi: 10.1109\/ATS.2013.51"},{"key":"5665_CR11","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1109\/LICS.1992.185551","volume-title":"Proceedings of the 7th annual IEEE symposium on logic in computer science","author":"TA Henzinger","year":"1992","unstructured":"Henzinger TA (1992) Symbolic model checking for real-time systems. LICS \u201992. In: Proceedings of the 7th annual IEEE symposium on logic in computer science, pp 394\u2013406. doi: 10.1109\/LICS.1992.185551"},{"key":"5665_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/ICoCS.2012.6458557","volume-title":"Proceedings of the IEEE international conference on complex systems (ICCS)","author":"R Hocine","year":"2012","unstructured":"Hocine R, Kalla H, Kalla S, Arar C (2012) A methodology for verification of embedded systems based on SystemC. In: Proceedings of the IEEE international conference on complex systems (ICCS), pp 1\u20136. doi: 10.1109\/ICoCS.2012.6458557"},{"issue":"6","key":"5665_CR13","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1109\/TCAD.2013.2241176","volume":"32","author":"S Hertz","year":"2013","unstructured":"Hertz S, Sheridan D, Vasudevan S (2013) Mining hardware assertions with guidance from static analysis. IEEE Trans Comput Aided Des Integr Circ Syst 32(6):952\u2013965. doi: 10.1109\/TCAD.2013.2241176","journal-title":"IEEE Trans Comput Aided Des Integr Circ Syst"},{"key":"5665_CR14","doi-asserted-by":"publisher","unstructured":"Imkov\u00e1 M, Kot\u00e1sek Z (2015) Automation and optimization of coverage-driven verification. In: Proceedings of the euromicro conference on digital system design (DSD). Funchal, Madeira, Portugal, pp 87\u201394. doi: 10.1109\/DSD.2015.34","DOI":"10.1109\/DSD.2015.34"},{"key":"5665_CR15","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/CSSE.2008.953","volume-title":"International conference on computer science and software engineering","author":"W Jian","year":"2008","unstructured":"Jian W, Chuanpei X (2008) Study on test generation of sequential circuits based on particle swarm optimization and ant algorithm International conference on computer science and software engineering, pp 149\u2013152. doi: 10.1109\/CSSE.2008.953"},{"key":"5665_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/DATE.2006.243901","volume-title":"Proceedings of the design automation test in Europe conference","author":"V Jerinic","year":"2006","unstructured":"Jerinic V, Langer J, Heinkel U, Muller D (2006) New methods and coverage metrics for functional verification. In: Proceedings of the design automation test in Europe conference. ISSN: 1530-1591, pp 1\u20136. doi: 10.1109\/DATE.2006.243901"},{"issue":"1","key":"5665_CR17","doi-asserted-by":"publisher","first-page":"4104","DOI":"10.1109\/ICSMC.1997.637339","volume":"5","author":"J Kennedy","year":"1997","unstructured":"Kennedy J, Eberhart RC (1997) A discrete binary version of the particle swarm algorithm. Systems, Man, and Cybernetics. Comput Cybern Simul 5(1):4104\u20134108. doi: 10.1109\/ICSMC.1997.637339","journal-title":"Systems, Man, and Cybernetics. Comput Cybern Simul"},{"key":"5665_CR18","unstructured":"Kennedy J, Eberhart RC, Shi Y (2001) Swarm intelligence, 1st edn. Academic Press"},{"key":"5665_CR19","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1145\/2024724.2024914","volume-title":"Proceedings of the 48th ACM\/EDAC\/IEEE design automation conference (DAC), New york, NY","author":"Y Katz","year":"2011","unstructured":"Katz Y, Rimon M, Ziv A, Shaked G (2011) Learning microarchitectural behaviors to improve stimuli generation quality. In: Proceedings of the 48th ACM\/EDAC\/IEEE design automation conference (DAC), New york, NY, pp 848\u2013853"},{"key":"5665_CR20","doi-asserted-by":"publisher","unstructured":"Khanesar MA, Teshnehlab M, Shoorehdeli MA (2007) A novel binary particle swarm optimization Mediterranean conference on control automation, 1-7. June 2007. MED \u201907. doi: 10.1109\/MED.2007.4433821","DOI":"10.1109\/MED.2007.4433821"},{"issue":"2","key":"5665_CR21","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1109\/TSMCC.2010.2054080","volume":"41","author":"RV Kulkarni","year":"2011","unstructured":"Kulkarni RV, Venayagamoorthy GK (2011) Particle swarm optimization in wireless-sensor networks: a brief survey. IEEE Trans Syst Man Cybern Part C (Appl Rev) 41(2):262\u2013267. doi: 10.1109\/TSMCC.2010.2054080","journal-title":"IEEE Trans Syst Man Cybern Part C (Appl Rev)"},{"key":"5665_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TEST.2012.6401556","volume-title":"Proceedings of the IEEE international test conference, Anaheim, CA","author":"M Li","year":"2012","unstructured":"Li M, Gent K, Hsiao MS (2012) Design validation of RTL circuits using evolutionary swarm intelligence. In: Proceedings of the IEEE international test conference, Anaheim, CA, pp 1\u20138. doi: 10.1109\/TEST.2012.6401556"},{"key":"5665_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TEST.2009.5355676","volume-title":"Proceedings of the IEEE international test conference","author":"M Li","year":"2009","unstructured":"Li M, Hsiao MS (2009) An ant colony optimization technique for abstraction-guided state justification. In: Proceedings of the IEEE international test conference, pp 1\u201310. doi: 10.1109\/TEST.2009.5355676"},{"key":"5665_CR24","doi-asserted-by":"publisher","unstructured":"Lisherness P, Lesperance N, Cheng K-T (Tim) (2013) Mutation analysis with coverage discounting. In: Design, automation test in Europe conference exhibition (DATE), pp 31\u201334. ISSN: 1530-1591. doi: 10.7873\/DATE.2013.021","DOI":"10.7873\/DATE.2013.021"},{"key":"5665_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/DATE.2011.5763253","volume-title":"Proceedings of the design, automation & test in Europe, Grenoble","author":"L Liu","year":"2011","unstructured":"Liu L, Vasudevan S (2011) Efficient validation input generation in RTL by hybridized source code analysis. In: Proceedings of the design, automation & test in Europe, Grenoble, pp 1\u20136. doi: 10.1109\/DATE.2011.5763253"},{"key":"5665_CR26","doi-asserted-by":"publisher","first-page":"3212","DOI":"10.1109\/CEC.2006.1688716","volume-title":"IEEE international conference on evolutionary computation","author":"A Marandi","year":"2006","unstructured":"Marandi A, Afshinmanesh F, Shahabadi M, Bahrami F (2006) Boolean particle swarm optimization and its application to the design of a dual-band dual-polarized planar antenna IEEE international conference on evolutionary computation, pp 3212\u20133218. doi: 10.1109\/CEC.2006.1688716"},{"key":"5665_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1361-8","volume-title":"Meta-heuristics: theory and applications","author":"IH Osman","year":"1996","unstructured":"Osman IH, Kelly JP (1996) Meta-heuristics: theory and applications. Springer US, Kluwer, Boston"},{"key":"5665_CR28","doi-asserted-by":"publisher","first-page":"1414","DOI":"10.1109\/TENCON.2011.6129042","volume-title":"Proceedings of the IEEE TENCON","author":"Y-J Oh","year":"2011","unstructured":"Oh Y-J, Song G-Y (2011) Simple hardware verification platform using SystemVerilog. In: Proceedings of the IEEE TENCON, pp 1414\u20131417. doi: 10.1109\/TENCON.2011.6129042"},{"issue":"1","key":"5665_CR29","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/CEC.2005.1554671","volume":"1","author":"G Pampara","year":"2005","unstructured":"Pampara G, Franken N, Engelbrecht AP (2005) Combining particle swarm optimisation with angle modulation to solve binary problems. IEEE Congress Evol Comput 1(1):89\u201396. doi: 10.1109\/CEC.2005.1554671","journal-title":"IEEE Congress Evol Comput"},{"key":"5665_CR30","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/ISVLSI.2015.26","volume-title":"IEEE computer society annual symposium on VLSI","author":"P Puri","year":"2015","unstructured":"Puri P, Hsiao MS (2015) Fast stimuli generation for design validation of RTL circuits using binary particle swarm optimization IEEE computer society annual symposium on VLSI, pp 573\u2013578. doi: 10.1109\/ISVLSI.2015.26"},{"key":"5665_CR31","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/IWSOC.2003.1213040","volume-title":"Proceedings of the the 3rd IEEE international workshop on system-on-chip for real-time applications, 2003","author":"S Regimbal","year":"2003","unstructured":"Regimbal S, Lemire JF, Savaria Y, Bois G, Aboulhamid EM, Baron A (2003) Automating functional coverage analysis based on an executable specification. In: Proceedings of the the 3rd IEEE international workshop on system-on-chip for real-time applications, 2003, pp 228\u2013234. doi: 10.1109\/IWSOC.2003.1213040"},{"key":"5665_CR32","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/AQTR.2008.4588725","volume-title":"Proceedings of the IEEE international conference on automation, quality and testing, robotics (AQTR)","author":"I Rancea","year":"2008","unstructured":"Rancea I, Sgarciu V (2008) Functional verification of digital circuits using a software system. In: Proceedings of the IEEE international conference on automation, quality and testing, robotics (AQTR), pp 152\u2013157. doi: 10.1109\/AQTR.2008.4588725"},{"key":"5665_CR33","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/HLDVT.2006.319996","volume-title":"Proceedings IEEE high-level design validation and test workshop","author":"A Samarah","year":"2006","unstructured":"Samarah A, Habibi A, Tahar S, Kharma N (2006) Automated coverage directed test generation using a cell-based genetic algorithm. In: Proceedings IEEE high-level design validation and test workshop, pp 19\u201326. doi: 10.1109\/HLDVT.2006.319996"},{"key":"5665_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/IC4.2013.6653754","volume-title":"3rd international conference on computer, control communication (IC4)","author":"Y Sharafi","year":"2013","unstructured":"Sharafi Y, Khanesar MA, Teshnehlab M (2013) Discrete binary cat swarm optimization algorithm 3rd international conference on computer, control communication (IC4), pp 1\u20136, (to appear in print), doi: 10.1109\/IC4.2013.6653754"},{"key":"5665_CR35","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1109\/CEC.2006.1688373","volume-title":"IEEE international conference on evolutionary computation","author":"J Sadri","year":"2016","unstructured":"Sadri J, Suen CY (2016) A genetic binary particle swarm optimization model IEEE international conference on evolutionary computation, pp 656\u2013663. doi: 10.1109\/CEC.2006.1688373"},{"key":"5665_CR36","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1109\/ATS.2008.42","volume-title":"Proceedings IEEE Asian test symposium","author":"H Shen","year":"2008","unstructured":"Shen H, Wei W, Chen Y, Chen B, Guo Q (2008) Coverage directed test generation: godson experience. In: Proceedings IEEE Asian test symposium, pp 321\u2013326. doi: 10.1109\/ATS.2008.42"},{"issue":"4","key":"5665_CR37","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/54.936247","volume":"18","author":"S Tasiran","year":"2001","unstructured":"Tasiran S, Keutzer K (2001) Coverage Metrics for Functional Validation of Hardware Designs. IEEE Des Test Comput 18(4):36\u201345. doi: 10.1109\/54.936247","journal-title":"IEEE Des Test Comput"},{"key":"5665_CR38","doi-asserted-by":"publisher","unstructured":"Ugarte I, Sanchez P (2005) Formal meaning of coverage metrics in simulation-based hardware design verification. In: 10th IEEE international high-level design validation and test workshop, pp 221\u2013228. ISSN: 1552-6674. doi: 10.1109\/HLDVT.2005.1568841","DOI":"10.1109\/HLDVT.2005.1568841"},{"key":"5665_CR39","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1109\/DATE.2010.5457129","volume-title":"Proceedings of the IEEE design, automation & test in Europe conference & exhibition (DATE 2010)","author":"S Vasudevan","year":"2010","unstructured":"Vasudevan S, Sheridan D, Patel S, Tcheng D, Tuohy B, Johnson D (2010) GoldMine: automatic assertion generation using data mining and static analysis. In: Proceedings of the IEEE design, automation & test in Europe conference & exhibition (DATE 2010), pp 626\u2013629. doi: 10.1109\/DATE.2010.5457129"},{"issue":"6","key":"5665_CR40","doi-asserted-by":"publisher","first-page":"1126","DOI":"10.1109\/TCAD.2006.884494","volume":"26","author":"I Wagner","year":"2007","unstructured":"Wagner I, Bertacco V, Austin T (2007) Microprocessor verification via feedback-adjusted markov models. IEEE Trans Comput Aided Des Integr Circ Syst 26(6):1126\u20131138. doi: 10.1109\/TCAD.2006.884494","journal-title":"IEEE Trans Comput Aided Des Integr Circ Syst"},{"issue":"1","key":"5665_CR41","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/4235.585893","volume":"1","author":"DH Wolpert","year":"1997","unstructured":"Wolpert DH, Macready WG (1997) No free lunch theorems for optimization. IEEE Trans Evol Comput 1(1):67\u201382. doi: 10.1109\/4235.585893","journal-title":"IEEE Trans Evol Comput"},{"key":"5665_CR42","doi-asserted-by":"publisher","unstructured":"Wu H, Nie C, Kuo F-C, Leung H, Colbourn CJ (2015) A discrete particle swarm optimization for covering array generation. IEEE Trans Evol Comput 19(4):575\u2013591. doi: 10.1109\/TEVC.2014.2362532","DOI":"10.1109\/TEVC.2014.2362532"},{"issue":"2","key":"5665_CR43","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1109\/TII.2012.2186821","volume":"8","author":"SH Yeung","year":"2012","unstructured":"Yeung SH, Chan WS, Ng KT, Man KF (2012) Computational optimization algorithms for antennas and RF\/microwave circuit designs: an overview. IEEE Trans Ind Inform 8(2):216\u2013227. doi: 10.1109\/TII.2012.2186821","journal-title":"IEEE Trans Ind Inform"},{"key":"5665_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TAI.2002.1180847","volume-title":"Proceedings of the IEEE international conference on tools with artificial intelligence (ICTAI)","author":"X Yu","year":"2002","unstructured":"Yu X, Fin A, Fummi F, Rudnick EM (2002) A genetic testing framework for digital integrated circuits. In: Proceedings of the IEEE international conference on tools with artificial intelligence (ICTAI), pp 1\u20136. doi: 10.1109\/TAI.2002.1180847"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-017-5665-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-017-5665-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-017-5665-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,29]],"date-time":"2022-07-29T03:50:02Z","timestamp":1659066602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-017-5665-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,3]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["5665"],"URL":"https:\/\/doi.org\/10.1007\/s10836-017-5665-x","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2017,6,3]]}}}