Automatic hardware synthesis

The complexity of the circuit that can fit on an integrated circuit (IC) chip has reached the level of a million transistors with the advent of Very-large-Scale Integration (VLSI). Several automatic synthesis systems have evolved that "aid" the human designer in managing this complexity. This paper surveys such efforts. The synthesis is viewed as the process of transforming a high-level design specification into a lower level design specification that includes more structural details, leading to the physical design of the IC. The characteristics of ten automatic synthesis systems are summarized.

[1]  F. Borgini,et al.  Automated Universal Array , 1981, IEEE Circuits & Systems Magazine.

[2]  Nobuaki Kawato,et al.  A CAD System for Logic Design Based on Frames and Demons , 1981, 18th Design Automation Conference.

[3]  A. Feller,et al.  Standard cell approach for generating custom CMOS/SOS devices using a fully automatic layout program , 1981, IEEE Circuits & Systems Magazine.

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

[5]  Herbert Schorr.  Computer-Aided Digital System Design and Analysis Using a Register Transfer Language , 1964, IEEE Trans. Electron. Comput..

[6]  Melvin A. Breuer,et al.  General survey of design automation of digital computers , 1966 .

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

[8]  Sungho Kang,et al.  Automatic PLA Synthesis from a DDL-P Description , 1981, 18th Design Automation Conference.

[9]  Ron Ayres.  IC Specification Language , 1979, 16th Design Automation Conference.

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

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

[12]  S.G. Shiva.  Computer hardware description languages—A tutorial , 1979, Proceedings of the IEEE.

[13]  C. Niessen.  Hierarchical design methodologies and tools for VLSI chips , 1983, Proceedings of the IEEE.

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

[15]  Fumihiro Maruyama,et al.  Design and Verification of Large-Scale Computers by Using DDL , 1979, 16th Design Automation Conference.

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

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

[18]  Alice C. Parker,et al.  Automated Synthesis of Digital Hardware , 1982, IEEE Transactions on Computers.

[19]  Daniel P. Siewiorek,et al.  Automated exploration of the design space for register transfer (RT) systems , 1973, ISCA '73.

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

[21]  Donald L. Dietmeyer,et al.  A Digital System Design Language (DDL) , 1968, IEEE Transactions on Computers.

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

[23]  Sajjan G. Shiva,et al.  Combinational Logic Synthesis from an HDL Description , 1980, 17th Design Automation Conference.

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

[25]  J.W. Beyers,et al.  A 32-bit VLSI CPU chip , 1981, IEEE Journal of Solid-State Circuits.

[26]  Nobuaki Kawato,et al.  An Interactive Logic Synthesis System Based upon AI Techniques , 1982, DAC 1982.

[27]  D.E. Thomas.  The automatic synthesis of digital systems , 1981, Proceedings of the IEEE.

[28]  Klim Maling,et al.  ALEX: A Conversational, Hierarchical Logic Design System , 1980, 17th Design Automation Conference.

[29]  Suhas S. Patil,et al.  A Programmable Logic Approach for VLSI , 1979, IEEE Transactions on Computers.

[30]  A. Kaminker,et al.  A 32-bit microprocessor with virtual memory support , 1981, IEEE Journal of Solid-State Circuits.

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

[32]  D. F. Gorman,et al.  A logic design translator , 1962, AFIPS '62 (Fall).