- 1980
- Miron Abramovici, Melvin A. Breuer:
Fault diagnosis based on effect-cause analysis: An introduction. DAC 1980: 69-76 - Vishwani D. Agrawal, Ajoy K. Bose, Patrick Kozak, Hao N. Nham, Ernesto Pacas-Skewes:
A mixed-mode simulator. DAC 1980: 618-625 - Jonathan Allen:
A contemporary perspective on design automation and VLSI in the 80's (Position Statement). DAC 1980: 338-339 - Arthur H. Altman, Alice C. Parker:
The SLIDE simulator: A facility for the design and analysis of computer interconnections. DAC 1980: 148-155 - R. A. Armstrong:
A CAD user's perspective what gets done right wrong and not at all (Position Paper). DAC 1980: 517 - D. E. Bering:
The electronics engineer's design station. DAC 1980: 422-429 - Günter Biehl, Werner Grass, P. S. Hall:
Optimization of the influence of problem modifications on given microprogrammed controllers. DAC 1980: 309-317 - Frank W. Bliss, George M. Hyman:
Selecting and successfully implementing a turnkey computer graphics system. DAC 1980: 579-584 - P. Carmody, A. M. Barone, J. K. Morrell, A. Weiner, John L. Hennessy:
An Interactive Graphics System for custom design. DAC 1980: 430-439 - Albert E. Casavant, Daniel D. Gajski, David J. Kuck:
Automatic design with dependence graphs. DAC 1980: 506-515 - Shiu-Ping Chao, Yen-Son Huang, Lap Man Yam:
A hierarchical approach for layout versus circuit consistency check. DAC 1980: 269 - Shiu-Ping Chao, Yen-Son Huang, Lap Man Yam:
A hierarchical approach for layout versus circuit consistency check. DAC 1980: 270-276 - E. F. Chelotti, D. P. Bossie:
Design automation at a large architect-engineer. DAC 1980: 40-49 - Dave Clary, Robert Kirk, Steve Sapiro:
SIDS (A Symbolic Interactive Design System). DAC 1980: 292-295 - Wendell E. Cory, William M. van Cleemput:
Developments in verification of design correctness (A Tutorial). DAC 1980: 156-164 - L. C. Cote, Arvind M. Patel:
The interchange algorithms for circuit placement problems. DAC 1980: 528-534 - Glenn W. Cox, Bill D. Carroll:
The Standard Transistor Array (star) (Part II automatic cell placement techniques). DAC 1980: 451-457 - David W. Currier:
Automation of sheet metal design and manufacturing. DAC 1980: 134-138 - Sam Bala Daram:
Position statement - CAD for VLSI. DAC 1980: 642 - John A. Darringer, William H. Joyner Jr.:
A new look at logic synthesis. DAC 1980: 543-549 - B. T. David:
An integrated CAD system for architecture. DAC 1980: 218-225 - David N. Deutsch, Paul Glick:
An over-the-cell router. DAC 1980: 32-39 - Wilm E. Donath:
Complexity theory and design automation. DAC 1980: 412-419 - Keith A. Duke, Klim Maling:
Alex: A conversational, hierarchical logic design system. DAC 1980: 318-327 - Alfred E. Dunlop:
SLIM-the translation of symbolic layouts into mask data. DAC 1980: 595-602 - Joe Dyer, Arijit Laha, Ernest J. Moran, William D. Smart:
The use of graphics processors for circuit design simulation at GTE AE Labs. DAC 1980: 446-450 - Charles M. Eastman:
System facilities for CAD databases. DAC 1980: 50-56 - Yacoub M. El-Ziq:
A new test pattern generation system. DAC 1980: 62-68 - A. E. Fitch:
Will your bridge stand the load? (Position Paper). DAC 1980: 518 - Robert Simpson Frew:
A survey of space allocation algorithms in use in architectural design in the past twenty years. DAC 1980: 165-174