Synthesis Techniques for Digital Systems Design

Several techniques that can be used for the synthesis of structures from behavioural level descriptions are discussed. Data flow analysis, graph grammars, 'direct' compilation and 'knowledge-based' systems among others are reviewed and their applicability to synthesis is investigated. Both the specification at the behavioural level and the resulting structure are defined formally by directed graphs. Synthesis is then a transformation between these graphs. It is shown that algorithmic techniques can yield efficient designs, specially if several of them are combined.

[1]  Robert K. Brayton,et al.  Logic Minimization Algorithms for VLSI Synthesis , 1984, The Kluwer International Series in Engineering and Computer Science.

[2]  Dave Johannsen,et al.  Bristle Blocks: A Silicon Compiler , 1979, 16th Design Automation Conference.

[3]  W.P. Birmingham,et al.  MICON: A Knowledge Based Single Board Computer Designer , 1984, 21st Design Automation Conference Proceedings.

[4]  Thaddeus Julius Kowalski.  The VLSI design automation assistant : a knowledge-based expert system , 1986 .

[5]  W. M. vanCleemput,et al.  Development in Verification of Design Correctness , 1980, DAC 1980.

[6]  Tom Mitchell,et al.  The Redesign System: A Knowledge-Based Approach to VLSI CAD , 1985, IEEE Design & Test of Computers.

[7]  Alfred V. Aho,et al.  Principles of Compiler Design (Addison-Wesley series in computer science and information processing) , 1977 .

[8]  Steven D. Johnson.  Synthesis of digital designs from recursion equations , 1983 .

[9]  Daniel P. Siewiorek,et al.  A design methodology and computer aids for digital VLSI systems , 1981 .

[10]  Sartaj Sahni,et al.  Heuristics for the Circuit Realization Problem , 1983, 20th Design Automation Conference Proceedings.

[11]  Tom M. Mitchell,et al.  A Knowledge Based Approach to VLSI CAD the Redesign System , 1984, 21st Design Automation Conference Proceedings.

[12]  Jeffrey D Ullma.  Computational Aspects of VLSI , 1984 .

[13]  Dennis Jay Mcbride.  Automated data path design for instruction set processors , 1984 .

[14]  Wolfgang Rosenstiel,et al.  Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion , 1984, GI Jahrestagung.

[15]  Sheila A. Greibach,et al.  Theory of Program Structures: Schemes, Semantics, Verification , 1976, Lecture Notes in Computer Science.

[16]  William M. van Cleemput,et al.  Development in Verification of Design Correctness , 1980, 17th Design Automation Conference.

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

[18]  Alfred V. Aho,et al.  Principles of Compiler Design , 1977 .