Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
DATE '00 Proceedings of the conference on Design, automation and test in Europe
RT-Level ITC'99 Benchmarks and First ATPG Results
IEEE Design & Test
Wave steering to integrate logic and physical syntheses
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on system-level interconnect prediction (SLIP)
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
| Hi-index | 14.98 |
In this paper, we address the problem of designing very high-throughput finite-state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward application of pipelining to increase performance. We observe that appropriate extensions of the "wave steering驴 technique can partially overcome the problem. We find that FSM decomposition theory is useful for decoupling the state-variable dependencies. Experiments on MCNC benchmarks show a 217 percent improvement in throughput, at the expense of a similar increase in area (2.15 times). Latency loss is relatively small, on the order of 20 percent, as compared to standard cell implementations.