Speculation on the future of design automation

The future direction of the use of design automation for designing and developing digital data processing systems and hardware is highlighted. Some of the unsolved problems in design automation are indicated.

[1]  C. Y. Lee.  An Algorithm for Path Connections and Its Applications , 1961, IRE Trans. Electron. Comput..

[2]  G. Metze,et al.  Fault diagnosis of digital systems , 1970 .

[3]  Stephen Y. H. Su,et al.  The structure and operation of a design language compatible simulator , 1971, DAC '71.

[4]  John P. Hayes.  On Modifying Logic Networks to Improve Their Diagnosability , 1974, IEEE Transactions on Computers.

[5]  Roy L. Russo,et al.  A Heuristic Procedure for the Partitioning and Mapping of Computer Logic Graphs , 1971, IEEE Transactions on Computers.

[6]  John C. Foster.  A router for multilayer printed wiring backplanes , 1973, DAC '73.

[7]  Melvin A. Breuer,et al.  Testing for Intermittent Faults in Digital Circuits , 1973, IEEE Transactions on Computers.

[8]  Donald L. Dietmeyer,et al.  Logic Design Automation of Fan-In Limited NAND Networks , 1969, IEEE Transactions on Computers.

[9]  Donald Leo Dietmeyer,et al.  Logic design of digital systems , 1971 .

[10]  Frederick J. Hill,et al.  Digital systems: hardware organization and design , 1973 .

[11]  Yaohan Chu,et al.  Computer organization and microprogramming , 1972 .

[12]  Donald L. Dietmeyer,et al.  An Algorithm for Synthesis of Multiple-Output Combinational Logic , 1968, IEEE Transactions on Computers.

[13]  Stephen Y. H. Su,et al.  A digital system modeling philosophy and design language , 1971, DAC '71.

[14]  Thomas C. Bartee,et al.  Theory And Design Of Digital Machines , 1964 .

[15]  Melvin A. Breuer,et al.  Design automation of digital systems , 1972 .

[16]  Stephen Y. H. Su.  An interactive design automation system , 1973, DAC '73.

[17]  Stephen Y. H. Su,et al.  Computer-Aided Synthesis or Multiple-Output Multilevel NAND Networks witk Fan-in and Fan-out Constraints , 1971, IEEE Transactions on Computers.

[18]  Douglas C. Schmidt.  Gate for gate modular replacement of combinational switching networks , 1972, DAC '72.

[19]  Donald L. Dietmeyer,et al.  Computer Reduction of Two-Level, Multiple-Output Switching Circuits , 1969, IEEE Transactions on Computers.

[20]  Miguel A. Marin.  On a general synthesis algorithm of logical circuits using a restricted inventory of integrated circuits , 1968, DAC.

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

[22]  Stephen Y. H. Su,et al.  A system modeling language translator , 1971, DAC '71.

[23]  Edward S. Davidson,et al.  An Algorithm for NAND Decomposition Under Network Constraints , 1969, IEEE Transactions on Computers.

[24]  J. Roth.  Algebraic topological methods for the synthesis of switching systems. I , 1958 .

[25]  Dave Hightower,et al.  The interconnection problem: A tutorial , 1973, Computer.