A kernel-finding state assignment algorithm for multi-level logic
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
Automatic synthesis of a dual-PLA controller with a counter
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
Optimization of micro-controllers by partitioning
EURO-DAC '91 Proceedings of the conference on European design automation
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
| Hi-index | 0.00 |
In this paper, we present new techniques for state assignment of finite state machines based on state machine decomposition algorithms.A finite state machine can be decomposed into smaller interacting machines so as to optimize area and performance of the eventual logic implementation. A recently proposed form of decomposition, which has been shown to be superior to previous decomposition methods, involves identifying subroutines or factors in the original machine and extracting these factors to produce factored and factoring machines.Optimal state assignment corresponds to finding an optimal multiple general decomposition of a finite state machine. We present state assignment techniques targeting two-level and multi-level logic implementations based on factorization algorithms followed by state assignment algorithms. For the two-level case, we prove that one-hot encoding a non-trivially factored machine is guaranteed to produce a better result than one-hot encoding the original machine. Experimental results indicate that this technique of factorization followed by state assignment is superior to previous state assignment techniques for large sequential machines, when targeting either two-level or multi-level implementations.