{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:45:26Z","timestamp":1761579926459,"version":"3.30.1"},"reference-count":24,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessors and Microsystems"],"published-print":{"date-parts":[[2000,6]]},"DOI":"10.1016\/s0141-9331(00)00067-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:37:42Z","timestamp":1027607862000},"page":"141-152","source":"Crossref","is-referenced-by-count":1,"title":["An integrated state assignment and flip-flop selection technique for FSM synthesis"],"prefix":"10.1016","volume":"24","author":[{"given":"I.","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.M.","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ul-Mustafa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1979","author":"Garey","series-title":"Computers and Intractability: a Guide to NP-Completeness","key":"10.1016\/S0141-9331(00)00067-3_BIB1"},{"issue":"4","key":"10.1016\/S0141-9331(00)00067-3_BIB2","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1049\/ip-cdt:19951885","article-title":"State assignment of finite state machines using a genetic algorithm","volume":"142","author":"Almaini","year":"1995","journal-title":"IEE Proc.\u2014Computers and Digital Techniques"},{"issue":"4","key":"10.1016\/S0141-9331(00)00067-3_BIB3","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1145\/162124.162132","article-title":"State assignment for hardwired VLSI control units","volume":"25","author":"Eschermann","year":"1993","journal-title":"ACM Computing Surveys"},{"unstructured":"B. Lin, A.R. Newton, Synthesis of multiple level logic from symbolic high level description languages, IFIP International Conference on Very Large Scale Integration, 1990, pp. 187\u2013196.","key":"10.1016\/S0141-9331(00)00067-3_BIB4"},{"issue":"2","key":"10.1016\/S0141-9331(00)00067-3_BIB5","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/12.663772","article-title":"A parallel algorithm for state assignment of finite state machines","volume":"47","author":"Hasteer","year":"1998","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"G. Rietsche, State assignment for finite state machines using T flip-flops, European Design Automation Conference, 1993. pp. 396\u2013401.","key":"10.1016\/S0141-9331(00)00067-3_BIB6","DOI":"10.1109\/EURDAC.1993.410667"},{"issue":"4","key":"10.1016\/S0141-9331(00)00067-3_BIB7","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1109\/21.370202","article-title":"Designing genetic algorithms for the state assignment problem","volume":"25","author":"Amaral","year":"1995","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"doi-asserted-by":"crossref","unstructured":"M. Mehendale, B. Mitra, An integrated approach to state assignment and sequential element selection for FSM synthesis, Seventh International Conference on VLSI Design, 1994. pp. 369\u2013372.","key":"10.1016\/S0141-9331(00)00067-3_BIB8","DOI":"10.1109\/ICVD.1994.282721"},{"doi-asserted-by":"crossref","unstructured":"S. Chattopadhyay, P.P. Chaudhuri, Genetic algorithm based approach for integrated state assignment and flip-flop selection in finite state machine synthesis, 11th International Conference on VLSI Design, 1997. pp. 522\u2013527.","key":"10.1016\/S0141-9331(00)00067-3_BIB9","DOI":"10.1109\/ICVD.1998.646659"},{"issue":"12","key":"10.1016\/S0141-9331(00)00067-3_BIB10","doi-asserted-by":"crossref","first-page":"1290","DOI":"10.1109\/43.16807","article-title":"MUSTANG: state assignment of finite state machines targeting multilevel logic implementations","volume":"7","author":"Devadas","year":"1988","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/S0141-9331(00)00067-3_BIB11","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0167-9260(97)00027-8","article-title":"State assignment based on two-dimensional placement and hypercube mapping","volume":"24","author":"Liu","year":"1997","journal-title":"INTEGRATION, The VLSI Journal"},{"issue":"9","key":"10.1016\/S0141-9331(00)00067-3_BIB12","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1109\/43.59068","article-title":"NOVA: state assignment of finite state machines for optimal two-level logic implementation","volume":"9","author":"Villa","year":"1990","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"doi-asserted-by":"crossref","unstructured":"E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, R.K. Brayton, A. Sangiovanni-Vincentelli, SIS: a system for sequential circuit synthesis, Memorandum No. UCB\/ERL M92\/41, Department of Electrical Engineering and Computer Science, University of California, Berkeley, 1992.","key":"10.1016\/S0141-9331(00)00067-3_BIB13","DOI":"10.1109\/ICCD.1992.276282"},{"year":"1982","author":"Papadimitriou","series-title":"Combinatorial Optimization: Algorithms and Complexity","key":"10.1016\/S0141-9331(00)00067-3_BIB14"},{"issue":"9","key":"10.1016\/S0141-9331(00)00067-3_BIB15","doi-asserted-by":"crossref","first-page":"1383","DOI":"10.1109\/21.310514","article-title":"A guided evolutionary simulated annealing approach to the quadratic assignment problem","volume":"24","author":"Yip","year":"1994","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"2","key":"10.1016\/S0141-9331(00)00067-3_BIB16","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/72.363466","article-title":"Combinatorial optimization with use of guided evolutionary simulated annealing","volume":"6","author":"Yip","year":"1995","journal-title":"IEEE Transactions on Neural Networks"},{"key":"10.1016\/S0141-9331(00)00067-3_BIB17","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"Optimization by simulated annealing","volume":"220","author":"Kirkpatrick","year":"1983","journal-title":"Science"},{"year":"1994","author":"Geist","series-title":"PVM: Parallel Virtual Machine\u2014a User's Guide and Tutorial for Networked Parallel Computing","key":"10.1016\/S0141-9331(00)00067-3_BIB18"},{"year":"1994","author":"Snir","series-title":"MPI: the Complete Reference","key":"10.1016\/S0141-9331(00)00067-3_BIB19"},{"year":"1997","author":"Pacheco","series-title":"Parallel Programming with MPI","key":"10.1016\/S0141-9331(00)00067-3_BIB20"},{"year":"1989","author":"Goldberg","series-title":"Genetic Algorithms in Search, Optimization and Machine Learning","key":"10.1016\/S0141-9331(00)00067-3_BIB21"},{"unstructured":"S. Yang, Logic Synthesis and Optimization Benchmarks User Guide, Version 3.0, MCNC, 1991.","key":"10.1016\/S0141-9331(00)00067-3_BIB22"},{"year":"1994","author":"Gropp","series-title":"Using MPI: Portable Parallel Programming with the Message-Passing Interface","key":"10.1016\/S0141-9331(00)00067-3_BIB23"},{"key":"10.1016\/S0141-9331(00)00067-3_BIB24","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1016\/0167-8191(96)00024-5","article-title":"A high-performance, portable implementation of the MPI message passing interface standard","volume":"22","author":"Gropp","year":"1996","journal-title":"Parallel Computing"}],"container-title":["Microprocessors and Microsystems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0141933100000673?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0141933100000673?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T03:30:01Z","timestamp":1733283001000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0141933100000673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["S0141933100000673"],"URL":"https:\/\/doi.org\/10.1016\/s0141-9331(00)00067-3","relation":{},"ISSN":["0141-9331"],"issn-type":[{"type":"print","value":"0141-9331"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}