Specifications for a design automation system

This paper is a brief discussion of the preliminary specifications design automation system (DAS) for digital devices. The goal of the proposed system is to allow a systems designer to describe his initial requirements to evaluate and modify his design as it passes through the various stages automatic implementation. The development of this system is motivated by need for eneration of an extensive library of designs for use in the UCLA Variable Structure Computer System<supscrpt>1</supscrpt> and by the need for a framework in which optimization research studies may be carried out. It is hoped that this system may also provide information and tools for the many industrial organizations who cannot Justify investment in a design automation system. Design automation has been the subject of serious study both in universities and in industry for several years.<supscrpt>2-7</supscrpt> Several programs for writing logical equations, <supscrpt>8,9</supscrpt> optimizing boolean equations,<supscrpt>10,11</supscrpt> placing circuit modules, <supscrpt>12-14</supscrpt> routing wires, <supscrpt>15,16</supscrpt> simulation,<supscrpt>17-19</supscrpt> and documenting systems have been developed. The emphasis in this work has been for the most the individual design and programs.

[1]  Kenneth E. Iverson,et al.  A Formal Description of SYSTEM/360 , 1964, IBM Syst. J..

[2]  Bertram Bussell,et al.  Parallel Processing in a Restructurable Computer System , 1963, IEEE Trans. Electron. Comput..

[3]  Kenneth E. Iverson,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[4]  Thomas C. Bartee,et al.  Computer Design of Multiple-Output Logical Networks , 1961, IRE Trans. Electron. Comput..

[5]  Hans P. Schlaeppi A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS) , 1964, IEEE Trans. Electron. Comput..

[6]  Charles Coleman,et al.  Using Digital Computers in the Design and Maintenance of New Computers , 1961, IRE Trans. Electron. Comput..

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

[8]  Thomas M. Spence,et al.  Solid Logic Design Automation , 1964, IBM J. Res. Dev..

[9]  Morton N. Weindling A method for the best geometric placement of units on a plane , 1964, DAC.

[10]  J. Paul Roth,et al.  Algorithms for logical design , 1961, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[11]  M. I. Schneider STATE ASSIGNMENT ALGORITHM FOR CLOCKED SEQUENTIAL MACHINES , 1962 .

[12]  Charles W. Rosenthal Computing Machine Aids to a Development Project , 1961, IRE Trans. Electron. Comput..

[13]  R. A. Rutman An algorithm for placement of interconnected elements based on minimum wire length , 1964, AFIPS '64 (Spring).

[14]  M. S. Zucker LOCS: An EDP Machine Logic and Control Simulator , 1965, IEEE Trans. Electron. Comput..