%0 Conference Proceedings
%T Experiments on Minimization Method of Incompletely Specified Finite State Machines for Low Power Design
%+ Białystok University of Technology
%A Klimowicz, Adam
%A Solov’ev, Valery
%Z Part 5: Modelling and Optimization
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th Computer Information Systems and Industrial Management (CISIM)
%C Warsaw, Poland
%Y Khalid Saeed
%Y Władysław Homenda
%I Springer
%3 Computer Information Systems and Industrial Management
%V LNCS-9339
%P 375-385
%8 2015-09-24
%D 2015
%R 10.1007/978-3-319-24369-6_31
%K Finite State Machine (FSM)
%K State minimization
%K Low power design
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X This paper presents a heuristic method for minimization of incompletely specified finite state machine with unspecified values of output variables. The proposed method is based on two states merging. In this method, such optimization criteria as the power consumption and possibility of merging other states are taken into account already at the stage of minimizing internal states. In addition to reduction of the finite state machine (FSM) states, the method also allows reducing the number of FSM transitions and FSM input variables. Experimental results for various styles of state assignment are presented. The results show that this approach to minimization of FSM in most of cases is more effective than classical methods in respect of power consumption.
%G English
%Z TC 8
%2 https://inria.hal.science/hal-01444481/document
%2 https://inria.hal.science/hal-01444481/file/978-3-319-24369-6_31_Chapter.pdf
%L hal-01444481
%U https://inria.hal.science/hal-01444481
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC8
%~ IFIP-CISIM
%~ IFIP-LNCS-9339