The automatic synthesis of digital systems

The purpose of a digital synthesis aid is to allow a digital system architect to describe the behavior of a system to be built and to then aid him in the logic design of that system. This paper will overview several different approaches to the development of synthesis aids. The importance of key features of synthesis aids, such as the automatic generation of multilevel system representations, will also be discussed.

[1]  Yaohan Chu,et al.  An ALGOL-like computer design language , 1965, CACM.

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

[3]  Alice C. Parker,et al.  Register-Transfer Level Digital Design Automation: The Allocation Process , 1978, 15th Design Automation Conference.

[4]  John A. Darringer.  The Application of Program Verification to Hardware Verification , 1979, DAC 1979.

[5]  Donald E. Thomas,et al.  A Technology Relative Logic Synthesis and Module Selection System , 1981, 18th Design Automation Conference.

[6]  Ron Ayres.  Silicon Compilation-A Hierarchical Use of PLAs , 1979, 16th Design Automation Conference.

[7]  Peter Marwedel,et al.  The MIMOLA Design System: Detailed Description of the Software System , 1979, 16th Design Automation Conference.

[8]  Daniel P. Siewiorek,et al.  Measuring designer performance to verify design automation systems , 1981, IEEE Transactions on Computers.

[9]  Wendell E. Cory.  Symbolic Simulation for Functional Verification with ADLIB and SDL , 1981, 18th Design Automation Conference.

[10]  Alice C. Parker,et al.  Algorithms for Multiple-Criterion Design of Microprogrammed Control Hardware , 1981, 18th Design Automation Conference.

[11]  Daniel P. Siewiorek,et al.  The CMU Design Automation System - An Example of Automated Data Path Design , 1979, 16th Design Automation Conference.

[12]  Daniel P. Siewiorek,et al.  The Modeling and Synthesis of Bus Systems , 1981, 18th Design Automation Conference.

[13]  Dwight D. Hill,et al.  SABLE: A Tool for Generating Structured, Multi-Level Simulations , 1979, 16th Design Automation Conference.

[14]  T.M. McWilliams.  Verification of Timing Constraints on Large Digital Systems , 1980, 17th Design Automation Conference.

[15]  Michael C. McFarland.  On Proving the Correctness of Optimizing Transformations in a Digital Design Automation System , 1981, 18th Design Automation Conference.

[16]  Wesley A. Clark.  Macromodular computer systems , 1967, AFIPS '67 (Spring).

[17]  Mario Barbacci,et al.  Instruction set processor specifications (ISPS): The notation and its applications , 1981, IEEE Transactions on Computers.

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

[19]  Gerhard Zimmermann.  The Mimola Design System a Computer Aided Digital Processor Design Method , 1979, 16th Design Automation Conference.

[20]  Theodore D. Friedman,et al.  Quality of designs from an automatic logic generator (ALERT) , 1970, DAC '70.

[21]  J.A. Darringer.  The Application of Program Verification to Hardware Verification , 1979, 16th Design Automation Conference.

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

[23]  Donald L. Dietmeyer,et al.  Translation of a DDL Digital System Specification to Boolean Equations , 1969, IEEE Transactions on Computers.

[24]  Theodore D. Friedman,et al.  Methods Used in an Automatic Logic Design Generator (ALERT) , 1969, IEEE Transactions on Computers.

[25]  John P. Gray.  Introduction to Silicon Compilation , 1979, 16th Design Automation Conference.

[26]  Lawrence C. Widdoes,et al.  SCALD: Structured Computer-Aided Logic Design , 1978, 15th Design Automation Conference.