ASYL: A Rule-Based System for Controller Synthesis
- 1 November 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 6 (6) , 1088-1097
- https://doi.org/10.1109/tcad.1987.1270349
Abstract
A rule-based approach has been investigated for two items of the synthesis area: the state assignment of controllers and the logic minimization. Local optimization rules defined on a control flowgraph have been defined for the first point. These are expressed as constraints on the codes of the internal variables. An encoding algorithm tries to respect most of these contraints. The results appeared to be very convincing. For the second point, the rules intend to cope with different technological targets and the meta rules intend to express different optimization strategies. The results are less spectacular, especially, of course, for a target where algorithmic solutions exist, but some interesting experiences on the rule-based approach are reported.Keywords
This publication has 11 references indexed in Scilit:
- An application of exploratory data analysis techniques to floorplan designPublished by Association for Computing Machinery (ACM) ,1987
- The VLSI Design Automation Assistant: From Algorithms to SiliconIEEE Design & Test of Computers, 1985
- The McBOOLE logic minimizerPublished by Association for Computing Machinery (ACM) ,1985
- Multiple output minimizationPublished by Association for Computing Machinery (ACM) ,1985
- A Rule-Based System for Optimizing Combinational LogicIEEE Design & Test of Computers, 1985
- A State-Machine Synthesizer -- SMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- MINI: A Heuristic Approach for Logic MinimizationIBM Journal of Research and Development, 1974
- State Assignment of Asynchronous Sequential Machines Using Graph TechniquesIEEE Transactions on Computers, 1972
- Some Techniques of State Assignment for Synchronous Sequential MachinesIEEE Transactions on Electronic Computers, 1964
- A Programmed Algorithm for Assigning Internal Codes to Sequential MachinesIEEE Transactions on Electronic Computers, 1962