{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:53:46Z","timestamp":1784300026472,"version":"3.55.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,11,25]],"date-time":"2017-11-25T00:00:00Z","timestamp":1511568000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Found of China","doi-asserted-by":"crossref","award":["61502327"],"award-info":[{"award-number":["61502327"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Natural Science Found of the Jiangsu Higher Education Institutions of China","award":["13KJB520023"],"award-info":[{"award-number":["13KJB520023"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11047-017-9659-5","type":"journal-article","created":{"date-parts":[[2017,11,25]],"date-time":"2017-11-25T16:25:17Z","timestamp":1511627117000},"page":"139-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["A multi-population evolution stratagy and its application in low area\/power FSM synthesis"],"prefix":"10.1007","volume":"18","author":[{"given":"Yanyun","family":"Tao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lijun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qinyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuzhen","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,11,25]]},"reference":[{"key":"9659_CR39","unstructured":"ABC:A system for sequential synthesis and verification. Berkeley logic synthesis and verification group. http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/"},{"issue":"4","key":"9659_CR1","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1049\/iet-cdt.2010.0045","volume":"5","author":"BA Al Jassani","year":"2011","unstructured":"Al Jassani BA, Urquhart N, Almaini AEA (2011) State assignment for sequential circuits using multi-objective genetic algorithm. IET Comput Digital Tech 5(4):296\u2013305","journal-title":"IET Comput Digital Tech"},{"key":"9659_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/B:GENP.0000017009.11392.e2","volume":"05","author":"B Ali","year":"2004","unstructured":"Ali B, Almaini AEA, Kalganova T (2004) Evolutionary algorithms and their use in the design of sequential logic circuits. Genet Program Evolvable Mach 05:11\u201329","journal-title":"Genet Program Evolvable Mach"},{"issue":"4","key":"9659_CR3","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1049\/ip-cdt:19951885","volume":"142","author":"AEA Almaini","year":"1995","unstructured":"Almaini AEA, Miller JF, Thomson P (1995) State assignment of finite state machines using a genetic algorithm. IEE Proc Comput Digit Tech 142(4):279\u2013286","journal-title":"IEE Proc Comput Digit Tech"},{"issue":"4","key":"9659_CR4","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/21.370202","volume":"25","author":"JN Amaral","year":"1995","unstructured":"Amaral JN, Tumer K, Ghosh J (1995) Designing genetic algorithms for the state assignment problem. IEEE Trans Syst Man Cybern 25(4):100\u2013108","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"9659_CR5","unstructured":"Ashlock D (2006) Evolutionary computation for modeling and optimization. Springer, Berlin. ISBN 0-387-22196-4"},{"key":"9659_CR6","doi-asserted-by":"crossref","unstructured":"Bacchetta P, Daldoss L, Sciuto D et al (2000) Low-power state assignment techniques for finite state machines. In: IEEE international symposium on circuits and systems, 2000. Proceedings. ISCAS. IEEE, 2000:641\u2013644 vol.2","DOI":"10.1109\/ISCAS.2000.856410"},{"key":"9659_CR7","unstructured":"Berkeley (1992) Electronics Research Laboratory, SIS: a system for sequential circuit synthesis, Release 1992.05. http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/1992\/ERL-92-41.pdf"},{"key":"9659_CR8","first-page":"361","volume-title":"Parallel problem solving from nature, 2","author":"HG Beyer","year":"1992","unstructured":"Beyer HG (1992) Some aspects of the \u2018evolution strategy\u2019 for solving tsp-like optimization problems. In: M\u00e4nner R, Manderick B (eds) Parallel problem solving from nature, 2. Elsevier, Amsterdam, pp 361\u2013370"},{"issue":"1","key":"9659_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/A:1015059928466","volume":"1","author":"HG Beyer","year":"2002","unstructured":"Beyer HG, Schwefel HP (2002) Evolution strategies: a comprehensive introduction. J Nat Comput 1(1):3\u201352","journal-title":"J Nat Comput"},{"issue":"4","key":"9659_CR10","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1093\/comjnl\/bxh099","volume":"48","author":"S Chattopadhyay","year":"2005","unstructured":"Chattopadhyay S (2005) Area conscious state assignment with flip flop and output polarity selection for finite state machine synthesis genetic algorithm approach. Comput J 48(4):443\u2013450","journal-title":"Comput J"},{"key":"9659_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1049\/ip-cdt:20030980","volume":"151","author":"S Chattopadhyay","year":"2004","unstructured":"Chattopadhyay S, Reddy P (2004) Finite state machine state assignment targeting low power consumption. IEEE Proc Comput Digit Tech 151:61\u201370","journal-title":"IEEE Proc Comput Digit Tech"},{"key":"9659_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.cap.2003.09.017","volume":"04","author":"S Cho","year":"2004","unstructured":"Cho S, Park A (2004) New synthesis technique of sequential circuits for low power and testing. Curr Appl Phys. 04:83\u201386","journal-title":"Curr Appl Phys."},{"key":"9659_CR13","doi-asserted-by":"crossref","unstructured":"Devadas, Ma HT, Newton AR, Vincentelli Sangiovanni (1987) MUSTANG: state assignment of finite state machines for optimal multi-level logic implementations. In: International conference on computer-aided design","DOI":"10.1109\/43.16807"},{"issue":"1","key":"9659_CR14","first-page":"367","volume":"10","author":"X Du","year":"1990","unstructured":"Du X, Hactel G, Lin B (1990) MUSE: a multilevel symbolic encoding algorithm for state assignment. IEEE Trans Comput Aided Des Integr Circuits Syst 10(1):367\u2013376","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"9659_CR15","unstructured":"El-Maleh AH, Sait SM, Nawaz Khan F (2006)\u201cFinite state machine state assignment for area and power minimization. In: Proceeding of IEEE international symposium on circuits and systems, ISCAS 2006, 21\u201324 May"},{"key":"9659_CR16","doi-asserted-by":"publisher","first-page":"4832","DOI":"10.1016\/j.asoc.2013.08.004","volume":"13","author":"AH El-Maleh","year":"2013","unstructured":"El-Maleh AH, Sheikhb Ahmad T, Sait Sadiq M (2013) Binary particle swarm optimization (BPSO) based state assignment for area minimization of sequential circuits. Appl Soft Comput 13:4832\u20134840","journal-title":"Appl Soft Comput"},{"issue":"C","key":"9659_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.compeleceng.2015.03.014","volume":"44","author":"AH El-Maleh","year":"2015","unstructured":"El-Maleh AH, Sait SM, Bala A (2015) State assignment for area minimization of sequential circuits based on cuckoo search optimization. Comput Electr Eng 44(C):13\u201323","journal-title":"Comput Electr Eng"},{"key":"9659_CR18","doi-asserted-by":"crossref","unstructured":"Gergel N, Craft S, Lach J (2003) Modeling QCA for area minimization in logic synthesis. In: ACM Great Lakes symposium on VLSI 2003, Washington, DC, USA, April. 2003, pp 60\u201363","DOI":"10.1145\/764808.764824"},{"issue":"1","key":"9659_CR19","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/TEVC.2014.2306677","volume":"19","author":"L Li","year":"2015","unstructured":"Li L, Tang K (2015) History-based topological speciation for multimodal optimization. IEEE Trans Evol Comput 19(1):136\u2013150","journal-title":"IEEE Trans Evol Comput"},{"key":"9659_CR20","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.asoc.2016.07.001","volume":"48","author":"B Li","year":"2016","unstructured":"Li B, Shi X, Chen J et al (2016) On the unbiasedness of multivariant optimization algorithm. Appl Soft Comput 48:230\u2013239","journal-title":"Appl Soft Comput"},{"key":"9659_CR21","unstructured":"Lin B, Newton AR (1989) Synthesis of multi-level logic from symbolic high-level description languages. In Proceedings of the IFIP TC 10\/WG 10.5 International Conference on Very Large Scale Integration. Federal Republic of Germany, 1989 August, pp 187\u2013196"},{"key":"9659_CR22","doi-asserted-by":"crossref","unstructured":"Mashiko H, Kohira Y (2016) Area minimization method for CMOS circuits using constraint programming in ID-layout style. In: International symposium on Vlsi design, Automation and Test","DOI":"10.1109\/VLSI-DAT.2016.7482537"},{"key":"9659_CR23","unstructured":"Nawaz Khan F (2005) FSM state assignment for area, power and testability using iterative algorithms. Thesis. Master of Science. King Fahd Unversity of Petroleum and Minerals"},{"key":"9659_CR24","doi-asserted-by":"crossref","unstructured":"Olson E, Kang SM (1994) State assignment for low-power FSM synthesis using genetic local search. In: IEEE custom integrated circuits conference, pp 140\u2013143","DOI":"10.1109\/CICC.1994.379749"},{"issue":"6","key":"9659_CR25","first-page":"845","volume":"10","author":"SM Sait","year":"2012","unstructured":"Sait SM, Oughali FC, Arafeh AM (2012) FSM state-encoding for area and power minimization using simulated evolution algorithm. J Appl Res Technol 10(6):845\u2013858","journal-title":"J Appl Res Technol"},{"issue":"2","key":"9659_CR26","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/j.ins.2014.03.008","volume":"277","author":"R Shang","year":"2014","unstructured":"Shang R, Wang Y, Wang J et al (2014) A multi-population cooperative coevolutionary algorithm for multi-objective capacitated arc routing problem. Inf Sci 277(2):609\u2013642","journal-title":"Inf Sci"},{"issue":"2","key":"9659_CR27","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.mejo.2004.10.009","volume":"36","author":"WT Shiue","year":"2005","unstructured":"Shiue WT (2005) Power\/area\/delay aware FSM synthesis and optimization. Microelectron J 36(2):147\u2013162","journal-title":"Microelectron J"},{"issue":"2","key":"9659_CR28","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10710-012-9178-1","volume":"14","author":"Y Tao","year":"2013","unstructured":"Tao Y, Zhang Y, Cao J et al (2013a) A module-level three-stage approach to the evolutionary design of sequential logic circuits. Genet Program Evolvable Mach 14(2):191\u2013219","journal-title":"Genet Program Evolvable Mach"},{"key":"9659_CR29","first-page":"1001","volume":"32","author":"Y Tao","year":"2013","unstructured":"Tao Y, Li M, Cao J (2013b) A new dynamic population variation in genetic programming. Comput inform 32:1001\u20131025","journal-title":"Comput inform"},{"key":"9659_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-015-1791-5","author":"Y Tao","year":"2015","unstructured":"Tao Y, Zhang Q, Zhang L et al (2015a) A systematic EHW approach to the evolutionary design of sequential circuits. Soft Comput. https:\/\/doi.org\/10.1007\/s00500-015-1791-5","journal-title":"Soft Comput"},{"key":"9659_CR31","doi-asserted-by":"crossref","unstructured":"Tao Y, Zhang L, Zhang Y (2015) An evolutionary strategy based state assignment for area-minimization finite state machines. In: Proceeding of 2015 IEEE symposium series on computational intellgience(SSCI2015). pp 1491\u20131498","DOI":"10.1109\/SSCI.2015.211"},{"issue":"3","key":"9659_CR32","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.1016\/j.asoc.2012.03.074","volume":"13","author":"CFM Toledo","year":"2012","unstructured":"Toledo CFM, Arantes MDS, Almada-Lobo B (2012) Glasscontainer production scheduling through hybrid multi-population based evolutionary algorithm. Appl Soft Comput 13(3):1352\u20131364","journal-title":"Appl Soft Comput"},{"issue":"9","key":"9659_CR33","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1109\/43.59068","volume":"9","author":"T Villa","year":"1990","unstructured":"Villa T, Sangiovanni-Vincentelli A (1990) NOVA: state assignment of finite state machines for optimal two-level logic implementation. IEEE Trans Comput Aided Des Integr Circuits Syst 9(9):905\u2013924","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"issue":"25","key":"9659_CR34","doi-asserted-by":"publisher","first-page":"2323","DOI":"10.1049\/el:19961547","volume":"32","author":"SJ Wang","year":"1996","unstructured":"Wang SJ, Horng MD (1996) State assignment of finite state machines for low power applications. Electron Lett 32(25):2323\u20132324","journal-title":"Electron Lett"},{"issue":"2","key":"9659_CR35","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/s10846-009-9392-0","volume":"59","author":"Y Wu","year":"2010","unstructured":"Wu Y, Wang Y, Liu X (2010) Multi-population based univariate marginal distribution algorithm for dynamic optimization problems. J Intell Robot Syst 59(2):127\u2013144","journal-title":"J Intell Robot Syst"},{"issue":"4","key":"9659_CR36","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1049\/ip-cdt:20020431","volume":"149","author":"Y Xia","year":"2002","unstructured":"Xia Y, Almaini AEA (2002) Genetic algorithm based state assignment for power and area optimization. IEEE Proc Comput Digit Tech 149(4):128\u2013133","journal-title":"IEEE Proc Comput Digit Tech"},{"issue":"3","key":"9659_CR37","first-page":"194","volume":"20","author":"Y Xia","year":"2003","unstructured":"Xia Y, Almaini AEA, Wu X (2003) Power optimization of finite state machines based on genetic algorithm. J Electron 20(3):194\u2013201","journal-title":"J Electron"},{"key":"9659_CR38","doi-asserted-by":"crossref","unstructured":"Xia Y, Ye X, Wang L (2006) A uniform framework of low power FSM partition approach. In: Proceeding of IEEE International Conference on communication, circuits and systems, China, 2006, pp 2642\u20132646","DOI":"10.1109\/ICCCAS.2006.285215"},{"issue":"1","key":"9659_CR40","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.vlsi.2007.02.001","volume":"41","author":"M Yang","year":"2008","unstructured":"Yang M, Wang LL, Tong JR et al (2008) Techniques for dual forms of Reed\u2013Muller expansion conversion. Integr VLSI J 41(1):113\u2013122","journal-title":"Integr VLSI J"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-017-9659-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-017-9659-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-017-9659-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:20:49Z","timestamp":1751034049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-017-9659-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,25]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["9659"],"URL":"https:\/\/doi.org\/10.1007\/s11047-017-9659-5","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,25]]},"assertion":[{"value":"25 November 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}