DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Fundamentals of Logic Design
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Introduction to Switching Theory and Logical Design
Introduction to Switching Theory and Logical Design
A logic minimizer for VLSI PLA design
DAC '82 Proceedings of the 19th Design Automation Conference
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
State assignment using a new embedding method based on an intersecting cube theory
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
State assignment for hardwired VLSI control units
ACM Computing Surveys (CSUR)
Optimized state assignment of single fault tolerant FSMs based on SEC codes
DAC '93 Proceedings of the 30th international Design Automation Conference
Hi-index | 0.00 |
This paper presents the results of developing and integrating a Finite State Machine(FSM) state-assignment tool into the functional design part of the Intel PLA-based synthesis system. The tool developed is an heuristic adjacency-based state assignment program, based on the KISS program [DeMicheli 85]. Statistics are presented, relative to the tool, on 28 FSM's. The current state of the functional design tool is described, as is the interface with the new tool. A new abstract mathematical method, which joins the adjacency and partition methods of assigning states is outlined.