Graphs: theory and algorithms
State assignment using input/output functions
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
An output encoding problem and a solution technique
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Finite state machine decomposition for low power
DAC '98 Proceedings of the 35th annual Design Automation Conference
Reencoding for cycle-time minimization under fixed encoding length
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
An activity-driven encoding scheme for power optimization in microprogrammed control unit
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Introduction to Algorithms
Low power synthesis of finite state machines with mixed D and T flip-flops
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
An Improved Method of Prime C-Class Derivation in the State Reduction of Sequential Networks
IEEE Transactions on Computers
Low-power state assignment targeting two- and multilevel logic implementations
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
NOVA: state assignment of finite state machines for optimal two-level logic implementation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Journal of Computer and Systems Sciences International
Minimum weight covering problems in stochastic environments
Information Sciences: an International Journal
Sequential algorithm for low-power encoding internal states of finite state machines
Journal of Computer and Systems Sciences International
Hi-index | 0.00 |
In this paper, we present a comprehensive method consisting of efficient state minimization and a comprehensive method of state assignment techniques to synthesize finite state machines (FSMs) to optimize power, area, and delay for ''next-state'' logic network design. The goal is to reduce the number of gates and literals relevant to power and area, and simultaneously to shorten the critical-path delay in FSM optimization. In the first step, we try to reduce the complexity of state minimization by applying (i) compatible graph to target one of optimal solutions in efficiency, (ii) conflict graph to determine the lower bound of the number of states and possible optimal solutions, (iii) Boolean expression effects due to alternative ways of minimized states, such that the required number of flip-flops is minimum for completely (or incompletely) specified FSMs. Next, a comprehensive method of state assignment techniques consisting of (i) edge-covering algorithm, (ii) block-reordering algorithm, (iii) cost calculation, (iv) ping-pong Gray-codes assignment, and (iv) design space exploration, is developed to choose the best state assignment. Finally, Espresso is run to determine the Boolean expressions and choose the best state assignment with the minimal sum-of-product (SOP) terms and literals from those optimal solutions. At last, the performance metrics in power, area, and delay are calculated based on the developed cell libraries for those optimal solutions with same minimized terms and literals. Our solutions provide engineers and designers to choose the best state assignment having less power, area, and delay to meet their system specification. Again this paper provides a comprehensive method of FSM synthesis and optimization for large FSMs in terms of power, area, and delay. Our experiments show that the derived optimal state assignment results in less power, area, and delay in FSM MCNC benchmarks.