MUSTANG: state assignment of finite state machines targeting multilevel logic implementations
- 1 December 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 7 (12) , 1290-1300
- https://doi.org/10.1109/43.16807
Abstract
The problem of state assignment for synchronous finite-state machines (FSM), targeted towards multilevel combinational logic and feedback register implementations, are addressed. The authors present state-assignment algorithms that heuristically maximize the number of common cubes in the encoded network to maximize the number of literals in the resulting combinational logic network after multilevel logic optimization. Results over a wide range of benchmarks which prove the efficacy of the proposed techniques are presented. Literal counts averaging 20%-40% less than other state-assignment programs have been obtained.Keywords
This publication has 11 references indexed in Scilit:
- MIS: A Multiple-Level Logic Optimization SystemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
- ASYL: A Rule-Based System for Controller SynthesisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
- Symbolic Design of Combinational and Sequential Logic Circuits Implemented by Two-Level Logic MacrosIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1986
- An Implementation of a State Assignment HeuristicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Optimal State Assignment for Finite State MachinesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
- Logic Minimization Algorithms for VLSI SynthesisPublished by Springer Nature ,1984
- Multiple Constrained Folding of Programmable Logic Arrays: Theory and ApplicationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
- On embedding graphs in squashed cubesPublished by Springer Nature ,1972
- An Algorithm for Finding Secondary Assignments of Synchronous Sequential CircuitsIEEE Transactions on Computers, 1968
- The Coding of Internal States of Sequential CircuitsIEEE Transactions on Electronic Computers, 1964