ASYL: A Rule-Based System for Controller Synthesis

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.

[1]  Daniel L. Ostapko,et al.  MINI: A Heuristic Approach for Logic Minimization , 1974, IBM J. Res. Dev..

[2]  William W. Cohen,et al.  A Rule-Based System for Optimizing Combinational Logic , 1985, IEEE Design & Test of Computers.

[3]  Gabriele Saucier,et al.  A Rule-Based System for the Optimal State Assignment of Controllers , 1986, FJCC.

[4]  Gabriele Saucier.  State Assignment of Asynchronous Sequential Machines Using Graph Techniques , 1972, IEEE Transactions on Computers.

[5]  John A. Darringer,et al.  A New Look at Logic Synthesis , 1980, 17th Design Automation Conference.

[6]  Douglas W. Brown,et al.  A State-Machine Synthesizer -- SMS , 1981, 18th Design Automation Conference.

[7]  W. Fichtner,et al.  The VLSI Design Automation Assistant: From Algorithms to Silicon , 1985, IEEE Design & Test of Computers.

[8]  Prathima Agrawal,et al.  Multiple Output Minimization , 1985, DAC 1985.

[9]  Richard M. Karp,et al.  Some Techniques of State Assignment for Synchronous Sequential Machines , 1964, IEEE Trans. Electron. Comput..

[10]  Gabriele Saucier,et al.  An Application of Exploratory Data Analysis Techniques to Floorplan Design , 1987, 24th ACM/IEEE Design Automation Conference.

[11]  Alice C. Parker,et al.  Synthesis of Hardware for the Control of Digital Systems , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  Michel Dagenais,et al.  The McBoole Logic Minimizer , 1985, DAC 1985.

[13]  Emile H. L. Aarts,et al.  PHIPLA--A New Algorithm for Logic Minimization , 1985, DAC 1985.

[14]  Douglas B. Armstrong,et al.  A Programmed Algorithm for Assigning Internal Codes to Sequential Machines , 1962, IRE Trans. Electron. Comput..