%0 Conference Proceedings %T Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design %+ Białystok University of Technology %A Klimowicz, Adam %Z Part 6: Modelling and Optimization %< avec comité de lecture %( Lecture Notes in Computer Science %B 16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM) %C Bialystok, Poland %Y Khalid Saeed %Y Władysław Homenda %Y Rituparna Chaki %I Springer International Publishing %3 Computer Information Systems and Industrial Management %V LNCS-10244 %P 526-535 %8 2017-06-16 %D 2017 %R 10.1007/978-3-319-59105-6_45 %K Finite state machine (FSM) %K State minimization %K Logic synthesis %K Low power design %Z Computer Science [cs] %Z Humanities and Social Sciences/Library and information sciencesConference papers %X A new method for the synthesis of finite state machines (FSMs) is proposed. In this method, such optimization criterion as the power consumption is taken into account already at the stage of minimizing internal states. In addition, the proposed method allows one to minimize the number of transitions and input variables of the FSM. The method is based on sequential merging of two internal states. For this purpose, the set of all pairs of states that can be merged is found, and the pair that best satisfies the optimization criteria is chosen for merging. The sequential algorithm is used for low power state encoding. Experimental results show, that the dissipated power is less by 7% comparing to traditional methods. %G English %Z TC 8 %2 https://inria.hal.science/hal-01656236/document %2 https://inria.hal.science/hal-01656236/file/448933_1_En_45_Chapter.pdf %L hal-01656236 %U https://inria.hal.science/hal-01656236 %~ SHS %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-TC8 %~ IFIP-CISIM %~ IFIP-LNCS-10244