{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:49Z","timestamp":1740099529814,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030289560"},{"type":"electronic","value":"9783030289577"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-28957-7_39","type":"book-chapter","created":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T19:06:24Z","timestamp":1568228784000},"page":"469-480","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Balanced Power, Speed and Area Minimization of Finite State Machines for FPGA Devices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4795-6953","authenticated-orcid":false,"given":"Adam","family":"Klimowicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,11]]},"reference":[{"key":"39_CR1","unstructured":"Hallbauer, G.: Procedures of state reduction and assignment in one step in synthesis of asynchronous sequential circuits. In: Proceedings of the International IFAC Symposium on Discrete Systems, Riga, Pergamons, pp. 272\u2013282 (1974)"},{"key":"39_CR2","unstructured":"Lee, E.B., Perkowski, M.: Concurrent minimization and state assignment of finite state machines. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Minneapolis. IEEE Computer Society (1984)"},{"issue":"3","key":"39_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/4.364440","volume":"30","author":"L Benini","year":"1995","unstructured":"Benini, L., De Micheli, G.: State assignment for low power dissipation. IEEE J. Solid State Circuits 30(3), 259\u2013268 (1995)","journal-title":"IEEE J. Solid State Circuits"},{"key":"39_CR4","unstructured":"Aiman, M., Sadiq, S.M., Nawaz, K.F.: Finite state machine state assignment for area and power minimization. In: Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS), pp. 5303\u20135306. IEEE Computer Society (2006)"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Lindholm, C.: High frequency and low power semi-synchronous PFM state machine. In: Proceedings of the IEEE International Symposium on Digital Object Identifier, pp. 1868\u20131871. IEEE Computer Society (2011)","DOI":"10.1109\/ISCAS.2011.5937951"},{"key":"39_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1016\/j.vlsi.2004.08.004","volume":"38","author":"W-T Shiue","year":"2005","unstructured":"Shiue, W.-T.: Novel state minimization and state assignment in finite state machine design for low-power portable devices. Integration, VLSI J. 38, 549\u2013570 (2005)","journal-title":"Integration, VLSI J."},{"key":"39_CR7","unstructured":"Rama Mohan, C., Chakrabarti, P.: A new approach to synthesis of PLA-based FSM\u2019s. In: 1994 Proceedings of the 7th International Conference on VLSI Design, Calcutta, India, pp. 373\u2013378. IEEE Computer Society (1994)"},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"Gupta, B.N.V.M., Narayanan, H., Desai, M.P.: A state assignment scheme targeting performance and area. In: 1999 Proceedings of the Twelfth International Conference on VLSI Design, Goa, India, pp. 378\u2013383. IEEE Computer Society (1999)","DOI":"10.1109\/ICVD.1999.745185"},{"key":"39_CR9","unstructured":"Liu, Z., Arslan, T., Erdogan, A.T.: An embedded low power reconfigurable fabric for finite state machine operations. In: 2006 Proceedings of the International Symposium on Circuits and Systems (ISCAS), Island of Kos, Greece, pp. 4374\u20134377. IEEE Computer Society (2006)"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Nedjah, N., Mourelle, L.: Evolutionary synthesis of synchronous finite state machines. In: Proceedings of the International Conference on Computer Engineering and Systems, Cairo, Egypt, pp. 19\u201324, 5\u20137 November 2006","DOI":"10.1109\/ICCES.2006.320419"},{"key":"39_CR11","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.vlsi.2008.11.005","volume":"42","author":"S Chaudhury","year":"2009","unstructured":"Chaudhury, S., KrishnaTejaSistla, K.T., Chattopadhyay, S.: Genetic algorithm based FSM synthesis with area-power trade-offs. Integration, VLSI J. 42, 376\u2013384 (2009)","journal-title":"Integration, VLSI J."},{"key":"39_CR12","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1109\/TCAD.2008.923245","volume":"27","author":"L Yuan","year":"2008","unstructured":"Yuan, L., Qu, G., Villa, T., Sangiovanni-Vincentelli, A.: An FSM reengineering approach to sequential circuit synthesis by state splitting. IEEE Trans. CAD 27, 1159\u20131164 (2008)","journal-title":"IEEE Trans. CAD"},{"key":"39_CR13","unstructured":"Klimowicz, A., Solov\u2019ev, V., Grzes, T.: Minimization method of finite state machines for low power design. In: Proceedings of Euromicro Conference on Digital System Design, Funchal, 2015, pp. 259\u2013262 (2015)"},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Klimowicz, A.: Performance targeted minimization of incompletely specified finite state machines for implementation in FPGA devices. In: 2017 Proceedings of Euromicro Conference on Digital System Design, Vienna, pp. 145\u2013150 (2017)","DOI":"10.1109\/DSD.2017.64"},{"issue":"2","key":"39_CR15","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1134\/S1064230712010091","volume":"51","author":"A Klimovich","year":"2012","unstructured":"Klimovich, A., Solov\u2019ev, V.V.: Minimization of mealy finite-state machines by internal states gluing. J. Comput. Syst. Sci. Int. 51(2), 244\u2013255 (2012)","journal-title":"J. Comput. Syst. Sci. Int."},{"issue":"6","key":"39_CR16","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1134\/S1064230711040113","volume":"50","author":"A Klimovich","year":"2011","unstructured":"Klimovich, A., Solov\u2019ev, V.V.: A method for minimizing moore finite-state machines by merging two states. J. Comput. Syst. Sci. Int. 50(6), 907\u2013920 (2011)","journal-title":"J. Comput. Syst. Sci. Int."},{"issue":"1","key":"39_CR17","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1134\/S1064230714010067","volume":"53","author":"TN Grzes","year":"2014","unstructured":"Grzes, T.N., Solov\u2019ev, V.V.: Sequential algorithm for low-power encoding internal states of finite state machines. J. Comput. Syst. Sci. Int. 53(1), 92\u201399 (2014)","journal-title":"J. Comput. Syst. Sci. Int."},{"key":"39_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/TAC.1963.1105511","volume":"8","author":"LA Zadeh","year":"1963","unstructured":"Zadeh, L.A.: Optimality and non-scalar-valued performance criteria. IEEE Trans. Automat. Contr. AC 8, 59\u201360 (1963)","journal-title":"IEEE Trans. Automat. Contr. AC"},{"key":"39_CR19","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/92.406998","volume":"3","author":"C-Y Tsui","year":"1995","unstructured":"Tsui, C.-Y., Monteiro, J., Devadas, S., Despain, A.M., Lin, B.: Power estimation methods for sequential logic circuits. IEEE Trans. VLSI Syst. 3, 404\u2013416 (1995)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"39_CR20","volume-title":"Logic Synthesis of Cascade Circuits","author":"AD Zakrevskij","year":"1981","unstructured":"Zakrevskij, A.D.: Logic Synthesis of Cascade Circuits. Nauka, Moscow (1981). (in Russian)"},{"key":"39_CR21","unstructured":"Yang, S.: Logic synthesis and optimization benchmarks user guide, Version 3.0. Technical report. Microelectronics center of North Carolina, North Carolina (1991)"}],"container-title":["Lecture Notes in Computer Science","Computer Information Systems and Industrial Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-28957-7_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T19:11:27Z","timestamp":1568229087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-28957-7_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030289560","9783030289577"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-28957-7_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISIM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Computer Information Systems and Industrial Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgrade","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Serbia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cisim2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cisim2019.wi.pb.edu.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"70","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"61% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2-3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}