Experiments on Minimization Method of Incompletely Specified Finite State Machines for Low Power Design

Abstract : 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.
Complete list of metadatas

https://hal.inria.fr/hal-01444481
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 24, 2017 - 10:41:01 AM
Last modification on : Wednesday, January 25, 2017 - 1:04:03 AM
Long-term archiving on : Tuesday, April 25, 2017 - 2:11:34 PM

File

978-3-319-24369-6_31_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Adam Klimowicz, Valery Solov’ev. Experiments on Minimization Method of Incompletely Specified Finite State Machines for Low Power Design. 14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.375-385, ⟨10.1007/978-3-319-24369-6_31⟩. ⟨hal-01444481⟩

Share

Metrics

Record views

62

Files downloads

193