A design methodology and computer aids for digital VLSI systems

The current status of a research program at Carnegie-Mellon University aimed at the formulation of a hierarchical design methodology for digital VLSI circuits is described. In addition, this paper describes a set of computer aids which supports this methodology. One of the goals of this work is to provide a design environment which allows for a significant reduction in time between the initial concept of a complex digital system and the generation of masks. Another goal is to allow the designer to efficiently explore a number of design alternatives.

[1]  H. T. Kung,et al.  Systolic Arrays for (VLSI). , 1978 .

[2]  Daniel P. Siewiorek,et al.  A Technology-Relative Computer-Aided Design System: Abstract Representations, Transformations, and Design Tradeoffs , 1978, 15th Design Automation Conference.

[3]  Jon Louis Bentley,et al.  Statistics on VLSI Designs. , 1980 .

[4]  Daniel P. Siewiorek,et al.  Evaluation of the CFA Test Programs Via Formal Computer Descriptions , 1977, Computer.

[5]  William E. Burr,et al.  Overview of the military computer family architecture selection , 1977, AFIPS '77.

[6]  Thomas Ottmann,et al.  Algorithms for Reporting and Counting Geometric Intersections , 1979, IEEE Transactions on Computers.

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

[8]  M. Lightner.  Multiple criterion optimization with yield maximization , 1981 .

[9]  Mario R. Barbacci,et al.  Automated exploration of the design space for register transfer (RT) systems , 1973, ISCA 1973.

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

[11]  R. Brayton,et al.  Yield maximization and worst-case design with arbitrary statistical distributions , 1980 .

[12]  Daniel P. Siewiorek,et al.  Issues in IC Implementation of High Level, Abstract Designs , 1980, 17th Design Automation Conference.

[13]  A. E. Dunlop.  SLIM-the translation of symbolic layouts into mask data , 1980, DAC '80.

[14]  A. Feller.  Automatic layout of low-cost quick-turnaround random-logic custom LSI devices , 1976, DAC '76.

[15]  M. Lightner,et al.  Multiple criterion optimization for the design of electronic circuits , 1981 .

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

[17]  Andrew Nagle.  Heuristic optimization of microcontrollers , 1981 .

[18]  Richard J. Cloutier,et al.  Control allocation : the automated design of Digital Controllers , 1980 .

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

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

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

[22]  Peter Naur,et al.  Concise survey of computer methods , 1974 .