%A M. A. Breuer
%T The application of integer programming in design automation
%J Proceedings of the 3rd SHARE Design Automation Workshop
%D 1966
%K dac dac3 daw daw3

%A H. R. Charney
%A D. L. Plato
%T Efficient partitioning of components
%J Proceedings of the 5th Share-ACM-IEEE Design Automation Workshop
%D 1968
%K dac dac5 daw daw5

%A R.P. Larsen
%A L. Margol
%T Partitioning and ordering of logic equations
for optimum MOS LSI device layout
%J Proceedings of the 8th Design Automation Conference
%D 1971
%K dac dac8
%P 131-142

%A D.M. Schuler
%A E.G. Ulrich
%T Clustering and linear placement
%J Proceedings of the 9th Design Automation Conference
%D 1972
%K dac dac9
%P 50-56

%A D.G. Schweikert
%A B.W. Kernighan
%T A proper model for the partitioning of electrical circuits
%J Proceedings of the 9th Design Automation Conference
%D 1972
%K dac dac9
%P 57-62

%A L. Mah
%A L. Steinberg
%T Techniques of gate assignment
%J Proceedings of the 9th Design Automation Conference
%D 1972
%K dac dac9
%P 63-71

%A M. Hanan
%A A. Mennone
%A P.K. Wolff
%T An interactive man-machine approach
to the computer logic partitioning problem
%J Proceedings of the 11th ACM/IEEE Design Automation Conference
%C Denver, Colorado
%D June 1974
%K dac dac11
%P 70-81

%A W.H. VanCleemput
%A J.G. Linders
%T An improved graph-theoretic model for the circuit layout problem
%J Proceedings of the 11th ACM/IEEE Design Automation Conference
%C Denver, Colorado
%D June 1974
%K dac dac11
%P 82-90

%A L.E. Druffel
%A D.C. Schmidt
%A R.A. Wagner
%T A simple, efficient design automation processor
%J Proceedings of the 11th ACM/IEEE Design Automation Conference
%C Denver, Colorado
%D June 1974
%K dac dac11
%P 127-136

%A C.F. Schupe
%T Automatic component placement in the NOMAD system
%J Proceedings of the 12th ACM/IEEE Design Automation Conference
%C Boston, Massachusetts
%D June 1975
%K dac dac12
%P 162-172

%A D.C. Schmidt
%A L.E. Druffel
%T An iterative algorithm for placement and assignment of integrated circuits
%J Proceedings of the 12th ACM/IEEE Design Automation Conference
%C Boston, Massachusetts
%D June 1975
%K dac dac12
%P 361-368

%A T. Ishiga
%A T. Kozawa
%A S. Sato
%T A logic partitioning procedure by interchanging clusters
%J Proceedings of the 12th ACM/IEEE Design Automation Conference
%C Boston, Massachusetts
%D June 1975
%K dac dac12
%P 369-377

%A H.J. Groeger
%T A new approach to structural partitioning of computer logic
%J Proceedings of the 12th ACM/IEEE Design Automation Conference
%C Boston, Massachusetts
%D June 1975
%K dac dac12
%P 378-383

%A A. Feller
%T Automatic layout of low-cost quick-turnaround random-logic custom LSI devices
%J Proceedings of the 13th ACM/IEEE Design Automation Conference
%C San Francisco, California
%D June 1976
%K dac dac13
%P 79-85

%A D. Gibson
%A S. Nance
%T SLIC - symbolic layout of integrated circuits
%J Proceedings of the 13th ACM/IEEE Design Automation Conference
%C San Francisco, California
%D June 1976
%K dac dac13
%P 434-440

%A M.A. Breuer
%T A class of min-cut placement algorithms
%J Proceedings of the 14th ACM/IEEE Design Automation Conference
%C New Orleans, Louisiana
%D June 1977
%K dac dac14
%P 284-290

%A H.S. Baird
%T Fast algorithms for LSI artwork analysis
%J Proceedings of the 14th ACM/IEEE Design Automation Conference
%C New Orleans, Louisiana
%D June 1977
%K dac dac14
%P 303-311

%A B. Infante
%A D. Bracken
%A B. McCalla
%A S. Yamakoshi
%A E. Cohen
%T An interactive graphics system for the design of integrated circuits
%J Proceedings of the 15th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1978
%K dac dac15
%P 182-187

%A D.G. Fairbairn
%A J.A. Rowson
%T ICARUS: an interactive integrated circuit layout program
%J Proceedings of the 15th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1978
%K dac dac15
%P 188-192

%A N. Weste
%T A color graphics system for IC mask design and analysis
%J Proceedings of the 15th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1978
%K dac dac15
%P 199-205

%A S. Nakamura
%A S. Murai
%A C. Tanaka
%A M. Terai
%A H. Fujiwara
%A K. Kinoshita
%T LORES: logic reorganization system
%J Proceedings of the 15th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1978
%K dac dac15
%P 250-260

%A H. Beke
%A W. Sansen
%T CALMOS: a portable software system
for the automatic and interactive layout of MOS/LSI
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 102-109

%A J.P. Gray
%T Introduction to silicon compilation
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 305-306

%A R. Ayres
%T IC specification language
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 307-309

%A D. Johannsen
%T Bristle blocks: a silicon compiler
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 310-313

%A R. Ayers
%T Silicon compilation - a hierarchical use of PLAS
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 314-326

%A F.S. Ozdemir
%T Electron beam lithography
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 383-391

%A M.F. Oakes
%T The complete VLSI design system
%J Proceedings of the 16th ACM/IEEE Design Automation Conference
%C San Diego, California
%D June 1979
%K dac dac16 vlsi
%P 452-460

%A D. Clary
%A R. Kirk
%A S. Sapiro
%T SIDS - a symbolic layout interactive design system
%J Proceedings of the 17th ACM/IEEE Design Automation Conference
%C Minneapolis, Minnesota
%D June 1980
%K dac dac17 vlsi
%P 292-295

%A S. Sahni
%A A. Bhatt
%T The complexity of design automation problems
%J Proceedings of the 17th ACM/IEEE Design Automation Conference
%C Minneapolis, Minnesota
%D June 1980
%K dac dac17 vlsi
%P 402-411

%A W.E. Donath
%T Complexity theory and design automation
%J Proceedings of the 17th ACM/IEEE Design Automation Conference
%C Minneapolis, Minnesota
%D June 1980
%K dac dac17 vlsi
%P 412-419

%A J.A. Darringer
%A W.H. Joyner
%T A new look at logic synthesis
%J Proceedings of the 17th ACM/IEEE Design Automation Conference
%C Minneapolis, Minnesota
%D June 1980
%K dac dac17 vlsi
%P 543-549

%A A.E. Dunlop
%T SLIM - the translation of symbolic layouts into mask data
%J Proceedings of the 17th ACM/IEEE Design Automation Conference
%C Minneapolis, Minnesota
%D June 1980
%K dac dac17 vlsi
%P 595-602

%A S.B. Ackers
%T On the use of the linear assignment algorithm in module placement
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 137-144

%A C.M. Lee
%A B.R. Chawla
%A S. Just
%T Automatic generation and characterisation of CMOS polycells
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 220-224

%A N. Weste
%T Virtual grid symbolic layout
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 225-233

%A S. Trimberger
%T Combining graphics and a layout language
in a single interactive system
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 234-239

%A D. Holt
%A S. Sapiro
%T BOLT - a block oriented design specification language
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 276-279

%A D.W. Brown
%T A state-machine synthesiser - SMS
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 301-305

%A S. Kang
%A W.M. vanCleemput
%T Automatic PLA synthesis from a DDL-P description
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 391-397

%A A.M. Patel
%A L.C. Cote
%T Partitioning for VLSI placement problems
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 411-418

%A K.H. Khokhani
%A A.M. Patel
%A W. Ferguson
%A J. Sessa
%A D. Hatton
%T Placement of variable size circuits on LSI master slices
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 426-434

%A G. Sakauye
%A A. Lubiw
%A J. Royle
%A P. Epplett
%A J. Twidale
%A E. Shew
%A E. Attfield
%A F. Brglez
%A P. Wilcox
%T A set of programs for MOS design
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 453-442

%A G.W. Leive
%A D.E. Thomas
%T A technology relative logic synthesis and module selection system
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 479-485

%A R.A. Bryant
%T MOSSIM: a switch-level simulator for MOS LSI
%J Proceedings of the 18th ACM/IEEE Design Automation Conference
%C Nashville, Tennessee
%D June 1981
%K dac dac18 vlsi
%P 786-790

%A C-P. Hsu
%T A new two-dimensional routing algorithm
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 46-50

%A W. Grass
%T A depth-first branch-and-bound algorithm for optimal PLA folding
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 133-140

%A J.R. Egan
%A C.L. Liu
%T Optimal bipartite folding of PLA
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 141-146

%A G.D. Hachtel
%A A.R. Newton
%A A.L. Sangiovanni-Vincentelli
%T Techniques for programmable logic array folding
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 147-155

%A B. Teel
%A D. Wilde
%T A logic minimiser for VLSI PLA design
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 156-162

%A C.M. Fiduccia
%A R.M. Mattheyses
%T A linear-time heuristic for improving network partitions
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 175-181

%A T.S. Payne
%A W.M. vanCleemput
%T Automated partitioning of hierarchically specified digital systems
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 182-192

%A S. Trimberger
%A C. Kingsley
%T Chip assembly tools
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 252-255

%A G.J. Sussman
%A H.E. Shrobe
%A J. Batali
%A R.L. Rivest
%A C.E. Leiserson
%A P. Penfield
%T Tools for the design of large VLSI circuits
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 256-259

%A A.A. Szepieniec
%T SAGA: an experimental silicon assembler
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 365-370

%A K.H. Keller
%A A.R. Newton
%A S. Ellis
%T A symbolic design system for integrated circuits
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A R.J. Lipton
%A S.C. North
%A R. Sedgewick
%A J. Valdes
%A G. Vijayan
%T ALI: a procedural language to describe VLSI layouts
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A J.K. Ousterhout
%A D.M. Ungar
%T Measurements of a VLSI design
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A R.L. Rivest
%T The "PI" (Placement and Interconnect) system
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 475-481

%A M.H. Arnold
%A J.K. Ousterhout
%T Lyra: a new approach to geometric layout rule checking
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A J.P. Gray
%A I. Buchanan
%A P.S. Robinson
%T Designing gate arrays using a silicon compiler
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A T.N. Mudge
%A R.A. Rutenbar
%A R.M. Lougheed
%A D.E. Atkins
%T Cellular image processing techniques
for VLSI circuit layout validation and routing
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 537-543

%A E. Lelarasmee
%A A.L. Sangiovanni-Vincentelli
%T RELAX: a new circuit simulator
for large scale MOS integrated circuits
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 682-690

%A A. Eustace
%A A. Mukhopadhyay
%T A deterministic finite automaton approach
to design rule checking for VLSI
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 712-717

%A T. Adachi
%A H. Kitazawa
%A M. Nagatani
%A T. Sudo
%T Hierarchical top-down layout method for VLSI chip
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A J.E. Hasset
%T Automated layout in ASHLAR:
an approach to the problems of the "general cell" layout for VLSI
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A Seiler
%T A hardware assisted design rule check architecture
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi

%A R.Y. Pinter
%T On routing two-point nets across a channel
%J Proceedings of the 19th ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1982
%K dac dac19 vlsi
%P 894-902

%A John S. Mayo
%T Design automation - lessons of the past, challenges for the future
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 1-2

%A R.J. Camoin
%T Central DA and its role: an executive view
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 3

%A Winfried Hahn
%T Computer design language - version Munich (CDLM):
a modern multi-level language
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 4-11

%A Peter Robinson
%A Jeremy Dion
%T Programming languages for hardware description
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 12-16

%A Karl J. Liberherr
%A Svend E. Knudsen
%T Zeus: a hardware description language for VLSI
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 17-23

%A Randy H. Katz
%A Shlomo Weiss
%T Chip assemblers: concepts and capabilities
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 24-30

%A Jonathan Rosenberg
%A David Boyer
%A John Dallen
%A Stephen Daniel
%A Charles Poirier
%A John Poulton
%A Durward Rogers
%A Neil Weste
%T A vertically integrated VLSI design environment
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 31-38

%A K. Ahdoot
%A R. Alvarodiaz
%A L. Crawley
%T IBM FSD VLSI chip design methodology
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 39-45

%A N.J. Elias
%A A.W. Wetzel
%T The IC module compiler, a VLSI design aid
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 46-49

%A Kuang-Wei Chiang
%A Zvonko G. Vranesic
%T On fault detection in CMOS logic networks
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 50-56

%A Fabio Sumenzi
%A Silvano Gai
%A Marco Mezzalama
%A Paolo Prinetto
%T A new integrated system for PLA testing and verification
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 57-64

%A Sunil K. Jain
%A Vishwani D. Agrawal
%T Test generation for MOS circuits using D-algorithm
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 65-70

%A Takuji Ogihara
%A Shinichi Murai
%A Yuzo Takamatsu
%A Kozo Kinoshita
%A Hideo Fujiwara
%T Test generation for scan design circuits
with tri-state modules and bidirectional terminals
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 71-78

%A Steve Sapiro
%T Engineering workstations: tools or toys ?
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 79-80

%A J. Robert Logan
%T Design/synthesis workshop session
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 81-82

%A John A. Board,\ Jr.
%A Peter N. Marinos
%T An interactive simulation facility
for the evaluation of shared-resource architectures
(Parallel ARchitecture SIMulator - PARSIM)
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 83-92

%A Andrew Sangster
%A John Monahan
%T Aquarius: logic simulation on an engineering workstation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 93-99

%A P. Stevens
%A G. Arnout
%T BIMOS, an MOS oriented multi-level logic simulator
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 100-106

%A Y.Z. Liao
%A C.K. Wong
%T An algorithm to compact a VLSI symbolic layout with mixed constraints
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 107-112

%A Gershon Kedem
%A Hiroyuki Watanabe
%T Graph-optimization techniques for IC layout and compaction
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 113-120

%A W.L. Schiele
%T Improved compaction by minimized length of wires
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 121-127

%A F.W. Day
%T Computer aided software engineering (CASE)
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 129-136

%A Charles L. Leath
%A Steven J. Ollanik
%T Software architecture for the implementation
of a computer-aided engineering system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 137-142

%A David Kramlich
%A Gretchen P. Brown
%A Richard T. Carling
%A Christopher F. Herot
%T Program visualization: graphics support for software development
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 143-149

%A Tohru Sasaki
%A Nobuhiko Koike
%A Kenji Ohmori
%A Kyoji Tomita
%T HAL; a block level hardware logic simulator
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 150-156

%A Z. Barzilai
%A L. Huisman
%A G. Silberman
%A D. Tang
%A L. Woo
%T Simulating pass transistor circuits using logic simulation machines
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 157-163

%A Kenneth J. Supowit
%A Eric A. Slutz
%T Placement algorithm for custom VLSI
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 164-170

%A Alexander Iosupovici
%A Clarnce King
%A Melvin A. Breuer
%T A module interchange placement machine
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 171-174

%A T. Kozawa
%A H. Terai
%A T. Ishii
%A M. Hayase
%A C. Miura
%A Y. Ogawa
%A K. Kishida
%A N. Yamada
%A Y. Ohno
%T Automatic placement algorithms for high packing density VLSI
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 175-181

%A Dah-Juh Chyan
%A Melvin A. Breuer
%T A placement algorithm for array processors
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 182-188

%A Francine S. Frome
%T Incorporating the human factor in color CAD systems
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 189-195

%A Nandakumar N. Tendolkar
%T Diagnosis of TCM failures in the IBM 3081 processor complex
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 196-200

%A K.E. Torku
%A C.E. Radke
%T Quality level and fault coverage for multichip modules
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 201-206

%A Kwok-Woon Lai
%A Daniel P. Siewiorek
%T Functional testing of digital systems
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 207-213

%A M. Abramovici
%A P.R. Menon
%A D.T. Miller
%T Critical path tracing - an alternative to fault simulation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 214-220

%A Zerksis D. Umrigar
%T Formal verification of a real-time hardware design
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 221-227

%A Anthony S. Wojcik
%T Formal design verification of digital systems
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 228-234

%A Robert B. Cutler
%T Automating mask layout and specification: panel session
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 235-236

%A L.M. Dunn
%T An overview of the design and verification subsystem
of the engineering design system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 237-238

%A Frank Rubin
%A Paul W. Horstmann
%T A logic design front-end for improved engineering productivity
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 239-245

%A C.J. Rimkus
%A M.R. Wayne
%A D.D. Chang
%A F.J. Magistro
%T Structured design verification: function and timing
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 246-252

%A J.B. Bendas
%T Design through transformation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 253-256

%A H-J. Rothermel
%A D.A. Mlynski
%T Routing method for VLSI design using irregular cells
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 257-262

%A Kenneth J. Supowit
%T Reducing channel density in standard cell layout
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 263-269

%A Robert N. Mayo
%A John K. Ousterhout
%T Pictures with parentheses:
combining graphics and procedures in a VLSI layou tool
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 270-276

%A Kaoru Okazaki
%A Tomoko Moriya
%A Toshihiko Yahara
%T A multiple media delay simulator for MOS LSI circuits
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 279-285

%A P. Kozak
%A A.K. Bose
%A A. Gupta
%T Design aids for the simulation of bipolar gate arrays
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 286-292

%A Viyaja Ramachandran
%T An improved switch-level simulator for MOS circuits
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 293-299

%A Dilip L. Bhavsar
%T Design for test calculus: an algorithm for DFT rules checking
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 300-307

%A C. Benmehrez
%A J.F. McDonald
%T Measured performance of a programmed implementation
of the subscripted D-algorithm
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 308-315

%A Charles Paulson
%T Classes of diagnostic tests
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 316-322

%A K.E. Torku
%A B.M. Huey
%T Petri net based search directing heuristics for test generation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 323-330

%A Mark Hofmann
%A Ulrich Lauther
%T HEX: an instruction-driven approach to feature extraction
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 331-336

%A Gary M. Tarolli
%A William J. Herman
%T Hierarchical circuit extraction with detailed parasitic capacitance
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 337-345

%A J.D. Bastian
%A M. Ellement
%A P.J. Fowler
%A C.E. Huang
%A L.P. McNamee
%T Symbolic parasitic extractor for circuit simulation (SPECS)
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 346-352

%A Erich Barke
%T A layout verification system for analog bipolar integrated circuits
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 353-359

%A Shinji Tokumasu
%A Yoshio Kunitomo
%A Yoshimi Ohta
%A Shigeru Yamamoto
%A Norihiro Nakajima
%T Solid model in geometric modelling system: HICAD
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 360-366

%A Y.C. Lee
%A K.S. Fu
%T Integration of solid modeling and data base management for CAD/CAM
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 367-373

%A C.H. Sequin
%A P.S. Strauss
%T Unigrafix
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 374-381

%A M. Bouyat
%A H. Botta
%A J.C. Vignat
%T Verdi: a computer aided design system for development and city planning
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 382-385

%A Robert J. Smith,\ II
%T Technology-independent circuit layout
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 390-393

%A Thomas R. Reinke
%T Technology design rules: a user's perspective
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 394

%A Gayla J. Von\ Ehr
%T Position paper: role of technology design rules in design automation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 395

%A James H. Shelly
%A David R. Tryon
%T Statistical techniques of timing verification
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 396-402

%A Eiji Tamura
%A Kimihiro Ogawa
%A Toshio Nakano
%T Path delay analysis for hierarchical building block layout system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 403-410

%A Norman P. Jouppi
%T Timing analysis for nMOS VLSI
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 411-418

%A John J. Granacki
%A Alice C. Parker
%T The effect of register-transfer design tradeoffs on chip area and performance
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 419-424

%A David C. Smith
%A Richard Noto
%A Fred Borgini
%A Shanti S. Sharma
%A Joseph C. Werbickas
%T VGAUA: the variable geometry automated universal array layout system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 425-429

%A M.W. Stebnisky
%A M.J. McGinnis
%A J.C. Werkickas
%A R.N. Potaunda
%A A. Feller
%T APSS: an automatic PLA synthesis system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 430-435

%A Mikko Tervonen
%A Hannu Lehikoinen
%A Timo Mukari
%T Integrated computer aided design, documentation and manufacturing system
for PCB electronics
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 436-443

%A John D. Litke
%T Minimizing PWB NC drilling
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 444-447

%A Gotaro Odawara
%A Kazuhiro Iijima
%A Tetsuro Kiyomatsu
%T Partitioning and placement technique for bus-structured PWB
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 449-456

%A Sungho Kang
%T Linear ordering and application to placement
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 457-464

%A Kunio Fukunaga
%A Shoichiro Yamada
%A Harold S. Stone
%A Tamotsu Kasai
%T Placement of circuit modules using a graph space approach
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 465-471

%A Michael C. McFarland
%T Computer-aided partitioning of behavioral hardware description
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 472-478

%A T.J. Kowalski
%A D.E. Thomas
%T The VLSI deign automation assistant: prototype system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 479-483

%A Charles Y. Hitchcock,\ III
%A Donald E. Thomas
%T A method of automatic data path synthesis
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 484-489

%A Chia-Jeng Tseng
%A Daniel P. Siewiorek
%T Facet: a procedure for the automated synthesis of digital systems
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 490-496

%A Charles W. Rose
%A Greg M. Ordy
%A Frederick I. Parke
%T N.mPc: a retrospective
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 497-505

%A Roy L. Drvian
%T Functional models for VLSI design
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 506-514

%A Raymond Cheng
%A Brain Griffin
%A Kun Katsumata
%A John Welsh
%T Functional simulation shortens the development cycle of a new computer
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 515-519

%A Greg M. Ordy
%A Charles W. Rose
%T The N.2 system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 520-526

%A Paul Bassett
%T Computer aided programming
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 527-529

%A Giovanni de\ Micheli
%A Alberto Sangiovanni-Vincentelli
%T PLEASURE: a computer program
for simple/multiple constrained/unconstrained folding
if programmable logic arrays
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 530-537

%A Wentai Liu
%A Daniel E. Atkins
%T Bounds on the saved area ratio due to PLA folding
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 538-544

%A Jorge F. Martinez-Carballido
%A V. Michael Powers
%T Pronto: quick PLA product reduction
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 545-552

%A T.C. Hu
%A Y.S. Kuo
%T Optimum reduction of programmable logic array
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 553-558

%A Ernest L. Hall
%T Robots in design - panel discussion
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 559

%A James Cohoon
%A Sartaj Sahni
%T Heuristics for the circuit realization problem
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 560-566

%A Jose S. Metoe
%A John V. Oldfield
%T Binary decision diagrams:
from abstract representations to physical implementations
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 567-570

%A Henry L. Nattrass
%A Glen K. Okita
%T Some computer aided engineering system design principles
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 571-577

%A Chi-Ping Hsu
%T General river routing algorithm
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 578-583

%A H.W. Leong
%A C.L. Liu
%T A new channel routing problem
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 584-590

%A Michael Burstein
%A Richard Pelavin
%T Hierarchical channel router
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 591-597

%A Mark N. Haynie
%T The relational data model for design automation (tutorial)
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 599-607

%A Dwight D. Hill
%T Edisim and Edicap: graphical simulator interfaces
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 608-614

%A P.L. Flake
%A P.R. Moorby
%A G. Musgrave
%T An algebra for logic strength simulation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 615-618

%A Chi-Yuan Lo
%A Hao N. Nham
%A Ajoy K. Bose
%T A data structure for MOS circuits
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 619-624

%A Al Dewey
%T VHSIC hardware description (VHDL) development program
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 625-628

%A J.R. Grierson
%A B. Cosgrove
%A R. Daniel
%A R.E. Halliwell
%A I.H. Kirk
%A J.C. Knight
%A J.A. McLean
%A J.M. McGrail
%A C.O. Newton
%T The UK5000 - successful collaborative development
of an integrated design for a 5000 gate CMOS array with built-in test
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 629-636

%A I.H. Kirk
%A P.D. Crowhurst
%A J.A. Skingley
%A J.D. Bowman
%A G.L. Taylor
%T Placement of irregular circuit elements on non-uniform gate arrays
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 637-643

%A B.D. Prazic
%A M.A. Bozier
%T Automatic routing of double layer gate arrays using a moving cursor
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 644-650

%A C.O. Newton
%A P.A. Young
%T Optimisation of global routing for the UK5000 gate array by iteration
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 651-657

%A Peter Robinson
%T Automatic layout for gate arrays with one layer of metal
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 658-664

%A Howard E. Krohn
%T An over-cell gate array channel router
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 665-670

%A Abbas El Gamal
%A Zahir A. Syed
%T A new statistical model for gate array routing
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 671-674

%A P. Jennings
%T A topology for semicustom array-structured LSI devices,
and their automatic customisation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 675-681

%A Neil DalCero
%T Automatic batch processing in multilayer ceramic metallization
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 682-685

%A Richard L. Simon
%T CAD/CAM = the foundation for computer integrated manufacturing
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 686-700

%A Sunil K. Jain
%A Alfred K. Susskind
%T Test strategy for microprocessors
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 703-708

%A Ernst Ulrich
%T A design verification methodology
based on concurrent simulation and clock suppression
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 709-712

%A Andrea S. LaPaugh
%A Richard J. Lipton
%T Total stuck-at-fault testing by circuit transformation
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 713-716

%A John M. Acken
%T Testing for bridging faults (shorts) in CMOS circuits
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 717-718

%A Gregory D. Jordan
%A Brij B. Popli
%A Ravi M. Apte
%T ILS - interactive logic simulator
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 719-720

%A Anoop Gupta
%T ACE: a circuit extractor
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 721-725

%A A. Tsukizoe
%A J. Sakemi
%A T. Kozawa
%A H. Fukuda
%T MACH: a high-hitting pattern checker for VLSI mask data
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 726-731

%A King-San Chang
%A Ravi N. Apte
%T Consistency checking for MOS/VLSI circuits
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 732-733

%A Thomas G. Szymanski
%A Christopher J. Van\ Wyk
%T Space efficient algorithms for VLSI artwork analysis
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 734-739

%A Ralph C. McQarity
%A Daniel P. Siewiorek
%T Experiments with the SLIM circuit compactor
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 740-746

%A Andre Leblond
%T CAF: a computer-assisted floorplanning tool
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 747-753

%A Andrew S. Moulton
%T Laying the power and ground wires on a VLSI chip
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 754-755

%A Rosanne Wyleczuk
%A Lynn Meyer
%A Gigi Babcock
%T The transfer of university software for industry use
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 756-761

%A C. Batini
%A C. Costa
%T A graphical tool for conceptual design of data base applications
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 762-773

%A James H. Tomkinson
%T UCAD: building design automation with general purpose software tools on Unix
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 774-787

%A Robert A. Walker
%A Donald E. Thomas
%T Behavioral transformation in the CMU-DA system
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 788-789

%A S. Wimer
%A M. Sharfman
%T HOPLA - PLA optimization and synthesis
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 790-794

%A Samuel Chuquillanqui
%T Internal connection problem in large optimized PLAs
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 795-802

%A Adam Pawlek
%T Microprocessor systems modeling with MODLAN
%J Proceedings of the 20th ACM/IEEE Design Automation Conference
%C Miami Beach, Florida
%D June 1983
%K dac dac20 vlsi
%P 804-811

%A Masato Kawai
%A John P. Hayes
%T An experimental MOS fault simulation program CSASIM
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 2-9

%A C.F. Chen
%A C-Y. Lo
%A H.N. Nham
%A Prasad Subramaniam
%T The second generation MOTIS mixed-mode simulator
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 10-17

%A Sunil K. Jain
%A Vishwani D. Agrawal
%T STAFAN: an alternative to fault simulation
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 18-23

%A Mahesh M. Doshi
%A Roderick B. Sullivan
%A Donald M. Schuler
%T THESIM logic simulator: a mix mode, multi-level, hierarchical,
interactive digital circuit simulator
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 24-31

%A Guy Dupenloup
%T A wire routing scheme for double-layer cell arrays
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 32-37

%A Takeshi Yoshimura
%T An efficient channel router
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 38-44

%A Gary W. Clow
%T A global routing algorithm for general cells
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 45-51

%A Charles H. Ng
%T A symbolic-interconnect router for custom IC design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 52-58

%A Pedro M.B. Veiga
%A Mario J.A. Lanca
%T HARPA: a hierarchical multi-level hardware description language
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 59-65

%A W.H. Evans
%A J.C. Ballegeer
%A Nguyen H. Duyet
%T ADL: an algorithmic design language for integrated circuit synthesis
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 66-72

%A Gotaro Odawar
%A Jun Sato
%A Masahiro Tomita
%T A symbolic functional description language
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 73-80

%A Eric Slutz
%A Glen Okita
%A Jeanne Wiseman
%T Block description language (BDL): a structural description language
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 81-85

%A Daniel D. Gajski
%T Silicon compilers and expert systems for VLSI
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 86-87

%A Kung-chao Chu
%A Ramautar Sharma
%T A technology independent MOS multiplier generator
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 90-97

%A Patrick A.D. Powell
%A Mohamed I. Elmasry
%T The ICEWATER language and interpreter
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 98-102

%A Chidchanok Lursinsap
%A Daniel Gajski
%T Cell compilation with constraints
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 103-108

%A Matrin Hardwick
%T Extending the relational database data model for design applications
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 110-116

%A Lee Hollaar
%A Brent Nelson
%A Tony Carter
%A Raymond A. Lorie
%T The structure and operation of a relational database system
in a cell-oriented integrated circuit design system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 117-125

%A Christopher Kingsley
%T A hierarchical error-tolerant compactor
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 126-132

%A A.E. Dunlop
%A V.D. Agrawal
%A D.N. Deutsch
%A M.F. Juki
%A P. Kozak
%A W. Wiesel
%T Chip layout optimization using critical path weighting
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 133-136

%A Hajimu Mori
%T Interactive compaction router for VLSI layout
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 137-143

%A Paul W. Horstmann
%A Edward P. Stabler
%T Computer aided design (CAD) using logic programming
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 144-151

%A John K. Ousterhout
%A Gordon T. Hamachi
%A Robert N. Mayo
%A Walter S. Scott
%A George S. Taylor
%T Magic: a VLSI layout system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 152-159

%A George S. Taylor
%A John K. Ousterhout
%T Magic's incremental design-rule checker
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 160-165

%A Walter S. Scott
%A John K. Ousterhout
%T Plowing: interactive stretching and compaction in Magic
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 166-172

%A Gordon T. Hamachi
%A John K. Ousterhout
%T A switchbox router with obstacle avoidance
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 173-179

%A Magdy S. Abadir
%A Hassan K. Reghbati
%T Test generation for LSI: a case study
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 180-195

%A M.G. Karpovsky
%A R.G. Van Meter
%T An approach to the testing of microprocessors
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 196-202

%A S. DasGupta
%A M.C. Graf
%A R.A. Rasmussen
%A R.G. Walther
%A T.W. Williams
%T Chip partitioning aid
a design technique for partitionability and testability in VLSI
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 203-208

%A Erwin Trischler
%T An integrated design for testability
and automatic test pattern generation system: an overview
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 209-215

%A Ralph K. Cavin,\ III
%T Introduction to the SRC design sciences program
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 216-217

%A G.H. van\ der\ Heiden
%A E. Grandjean
%T Ergonomic studies in computer aided design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 220-227

%A Masahiko Kawamura
%A Haruo Takagi
%A Kanji Hirabayashi
%T Functional verification of memory circuits from mask artwork data
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 228-234

%A P.T. Chapman
%A K. Clark,\ Jr.
%T The scan line approach to design rule checking: computational experiences
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 235-241

%A Rajiv Kane
%A Sartaj Sahni
%T A systolic design rule checker
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 243-250

%A George J. Milne
%T A model for hardware description and verification
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 251-257

%A R. Alali
%A C. Durante
%A J.J. Mercier
%T A model for non interpreted structured of logical systems
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 258-264

%A Karl J. Lieberherr
%T Towards a standard hardware description language
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 265-272

%A Curtis H. Parks
%T IGES as an interchange format for integrated circuit design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 273-274

%A Barry Jackson
%T A designing system for multi-family housing
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 275-281

%A Lloyd Wilkins
%T Module design verification system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 282-287

%A Lynne A. Price
%T Studying the mouse for CAD systems
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 288-293

%A Mikhail Lotvin
%A Belinda Juran
%A Reeni Goldin
%T AMOEBA: a symbolic VLSI layout system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 294-300

%A William H. Kao
%A Mohammed H. Mhaved-Ezazi
%A Mark L. Sabiers
%T ARIES: a workstation based, schematic driven system for circuit design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 301-307

%A Jean Dussault
%A Chi-Chang Liaw
%A Michael M. Tong
%T A high level synthesis tool for MOS chip design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 308-314

%A Chia-Jeng Tseng
%A Daniel P. Siewiorek
%T Emerald: a bus style designer
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 315-321

%A T. Shinsha
%A T. Kubo
%A M. Hikosawa
%A K. Akiyama
%A K. Ishihara
%T POLARIS: polarity propagation algorithm for combinational logic synthesis
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 322-328

%A Alice C. Parker
%A Fadi Kurdahl
%A Mitch Milnar
%T A general methodology for synthesis and verification
of register-transfer designs
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 329-335

%A M.E. Glazier
%A A.P. Ambler
%T Ultimate: a hardware logic simulation engine
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 336-342

%A M.A. d'Abreu
%A K.L. Cheong
%A C.T. Flanagan
%T ORACLE: a simulator for bipolar and MOS IC design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 343-349

%A J.T. Deutsch
%A A.R. Newton
%T A multiprocessor implementation
of relaxation-based electrical circuit simulation
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 350-357

%A D. Etiemble
%A V. Adeline
%A Nguyen H. Duyet
%A J.C. Ballegeer
%T Micro-computer oriented algorithms for delay evaluation of MOS gates
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 358-364

%A J.C. Foster
%T A unified CAD system for electronic design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 365-369

%A Herbert Y. Chang
%A Richard N. Talmadge
%T Engineering design aspects
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 370-374

%A Charles W. Rosenthal
%T Physical design and manufacturing information aspects:
aspects of the AT&T Bell Laboratories CAD system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 375-383

%A Frederick Hinchcliffe,\ II
%T Commercial gate array physical design automation packages
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 386-387

%A R.R. Chen
%A Y. Kajitani
%T The channel expansion problem in layout design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 388-391

%A Bill D. Richard
%T A standard cell initial placement system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 392-398

%A Michael Palczewski
%T Performance of algorithms for initial placement
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 399-404

%A John Alan Rosch
%T The rectangle placement language
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 405-411

%A Louis L. Steinberg
%A Tom M. Mitchell
%T A knowledge based approach to VLSI CAD: the REDESIGN system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 412-418

%A Van E. Kelly
%T The CRITTER system: automated critiquing of digital circuit designs
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 419-425

%A J.L. Lewandowski
%A C.L. Liu
%T A branch and bound algorithm for optimal PLA folding
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 426-433

%A M.J. Meyer
%A P. Agrawal
%A R.G. Pfister
%T A VLSI FSM design system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 434-440

%A Theodore M. Sabety
%A David Elliot Shaw
%A Brian Mathies
%T The semi-automatic generation of processing element control paths
for highly parallel machines
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 441-446
%K NON-VON

%A Vincent J. Freund,\ Jr.
%T Managing a large volume of design/manufacturing/test data
in a chip and module factory
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 447-451

%A W.J. Guillaume
%A A. Kurylo
%T MINUPROX: an advanced proximity correction technique
for the IBM EL-2 electron beam tool
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 452-458

%A Stephen Nachtsheim
%T The Intel design automation system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 459-465

%A Kirk Sherhart
%A Mark Vershel
%A Judy Owen
%T The engineering design environment
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 466-472
%K Intel, EDeN

%A Kit Tham
%A Rob Willoner
%A David Wimp
%T Functional design verification by multi-level simulation
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 473-478
%K Intel

%A Jerry Mar
%A You-Pang Wei
%T Performance verification of circuits
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 479-483

%A Todd J. Wagner
%T Hierarchical layout verification
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 484-489
%K Intel

%A C. Bellon
%A R. Velazco
%T Taking into account asynchronous signals
in functional test of complex circuits
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 490-496

%A G. Saucier
%A C. Bellon
%T VLSI test expertise using a control flow model
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 497-503

%A Sudhakar M. Reddy
%A Vishwani D. Agrawal
%A Sunil K. Jain
%T A gate level model for CMOS combinational logic circuits
with application to fault detection
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 504-509

%A Karl J. Lieberherr
%T Parameterized random testing
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 510-516

%A Stephen Y.H. Su
%A Tonysheng Lin
%T Functional testing techniques for digital LSI/VLSI systems
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 517-528

%A Lance A. Glasser
%A Lennox P.J. Hoyte
%T Delay and power optimization in VLSI circuits
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 529-535

%A A.J. de\ Geus
%A J.B. Reed
%A M. Rekhson
%A G. Wikle
%T IDA: interconnect delay analysis for integrated circuits
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 536-541

%A John K. Ousterhout
%T Switch-level delay models for digital MOS VLSI
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 542-548
%K Crystal

%A Tsuyoshi Takahashi
%A Satoshi Kojima
%A Osamu Yamashiro
%A Kazuhiro Eguchi
%A Hideki Fukuda
%T An MOS digital network model on a modified Thevenin equivalent
for logic simulation
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 549-555

%A Al Dewey
%T The VHSIC hardware description language (VHDL) program
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 556-557

%A Ann R. Lanfri
%T Phled45: an enhanced version of Caesar supporting 45 degree geometries
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 558-564

%A William P. Birmingham
%A Daniel P. Siewiorek
%T MICON: a knowledge based single board computer designer
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 565-571

%A Masaru Ozaki
%A Miho Watanabe
%A Morio Kakinuma
%A Mikio Ikeda
%A Koji Sato
%T MGX: an integrated symbolic layout system for VLSI
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 572-579

%A K. Anderson
%A R. Powell
%T UTMC's LSI CAD system - HIGHLAND
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 580-586

%A Peter Marwedel
%T The MIMOLA design system: tools for the design of digital processors
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 587-593

%A C.L. Wardle
%A C.R. Watson
%A C.A. Wilson
%A J.C. Mudge
%A B.J. Nelson
%T A declarative design approach for combining macrocells
by directed placement and constructive routing
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 594-601
%K Sprint

%A Guy D. Haas
%T Computervision's direction in workstation technology
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 606-609

%A F. Luellau
%A T. Hoepken
%A E. Barke
%T A technology independent block extraction algorithm
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 610-615

%A Steven P. McCormick
%T EXCL: a circuit extractor for IC designs
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 616-623

%A J.L. Kors
%A M. Israel
%T An interactive electrical graph extractor
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 624-628

%A Jinglum Zhang
%A Renhua Wang
%T Some consideration on the data model of geometric data bases
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 629-633

%A J.R. Dixon
%A M.K. Simmons
%A P.R. Cohen
%T An architecture for application of artificial intelligence to design
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 634-640

%A Anthony S. Wojcik
%A Joseph Kljaich
%A Hagendra Srinivas
%T A formal design verification system based on an automated reasoning system
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 641-647

%A Ram Banin
%T Hardware accelerators in the design automation environment
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 648

%A Anthony Zingale
%T The semi-custom revolution: how to thrive or survive
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 649-650

%A Lev A. Markov
%A Jeffrey R. Fox
%A John H. Blank
%T Optimization techniques for two-dimensional placement
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 652-654

%A Krzysztof Kozminski
%A Edwin Kinnen
%T An algorithm for finding a rectangular dual of a planar graph
for use in area planning for VLSI integrated circuits
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 655-656

%A B.N. Tien
%A B.S. Ting
%A J. Cheam
%A K. Chow
%A S.C. Evans
%T GALA - an automatic layout system for high density CMOS gate arrays
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 657-662

%A Sany M. Leinward
%A Yen-Tai Lai
%T An algorithm for building rectangular floor-plans
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 663-664

%A P. Rao
%A R. Ramnarayan
%A G. Zimmermann
%T SPIDER: a chip planner for ISL technology
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 665-666

%A Tokinori Kozawa
%A Chihei Miura
%A Hidekazu Terai
%T Combine and top down block placement algorithm
for hierarchical logic VLSI layout
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 667-669

%A John P. Blanks
%T Initial placement of gate arrays using least-squares methods
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 670-671

%A Jack A. Hudson
%A Randy C. Peters
%T Module positioning algorithms for rectilinear macrocell assemblies
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 672-675

%A Vijay K. Raj
%A Barry M. Pangrle
%A Daniel D. Gajski
%T Microprocessor synthesis
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 676-678

%A G. Persky
%A L.V. Tran
%T Topological routing of multi-bit data buses
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 679-682

%A John D. Crawford
%T An electronic design interchange format
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 683-685

%A R.A. Kriete
%A R.K. Nettleton
%T A VLSI design methodology based on parametric macro cells
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 686-688

%A Antonio Martinez
%A Scott Nance
%T Methodology for compiler generated silicon structures
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 689-691

%A Randy H. Katz
%A Shlomo Weiss
%T Design transaction machine
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 692-693

%A V. Ashok
%A W. McKnight
%A J. Ramanathan
%T Uniform support for information handling and problem solving
required by the VLSI design process
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 694-696

%A Stephen Trimberger
%T VTIcompose - a powerful graphical chip assembly tool
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 697-698

%A Nripendra N. Biswas
%T Computer aided minimization procedure for boolean functions
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 699-702

%A Andrzej Wieclawski
%A Marek Perkowski
%T Optimization of negative gate networks
realized in Weinberger-like layout in a boolean level silicon compiler
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 703-704

%A Chu S. Jhon
%A Robert M. Keller
%T Deadlock analysis in the design of data-flow circuits
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 705-707

%A Ola A. Marvik
%T A method for IC layout verification
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 708-709

%A Sarma Sastry
%A Alice Parker
%T On the relation between wire length distributions
and placement of logic on master slice ICs
%J Proceedings of the 21st ACM/IEEE Design Automation Conference
%C Albuquerque, New Mexico
%D June 1984
%K dac dac21 vlsi
%P 710-711

%A Tariq Samad
%A Stephen W. Director
%T Towards a natural language interface for CAD
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 2-8

%A Alberto Di Janni
%A Margherita Italiano
%T Unified user interface for a CAD system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 9-15

%A Cyrus S. Bamji
%A Charles E. Hauck
%A Jonathan Allen
%T A design by example regular structure generator
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 16-22

%A S.C. Hughes
%A D.B. Lewis
%A C.J. Rimkus
%T A technique for distributed execution of design automation tools
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 23-30

%A Ellen J. Yoffa
%A Peter S. Hauge
%T ACORN: a local customization approach to DCVS physical design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 32-38

%A Tak-Kwon Ng
%A S. Lennart Johnsson
%T Generation of layouts from MOS circuit schematics:
a graph theoretic approach
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 39-45

%A Shigeo Noda
%A Hitoshi Yoshizawa
%A Etsuko Fukuda
%A Haruo Kato
%A Hiroshi Kawanashi
%A Takashi Fujii
%T Automatic layout algorithms for function blocks of CMOS gate arrays
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 46-52

%A Charles W. Rose
%A Marcus Buchner
%A Yatin Trivedi
%T Integrating stochastic performance analysis with system design tools
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 48-488

%A G. Saucier
%A G. Thuaua
%T Systematic and optimized layout of MOS cells
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 53-61

%A C. Durward Rogers
%A J.B. Rosenberg
%A S.W. Daniel
%T MCNC's vertically integrated symbolic design system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 62-68
%K VIVID

%A George Entenman
%A Stephen W. Daniel
%T A fully automatic hierarchical compactor
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 69-75

%A Phillip Smith
%A Stephen Daniel
%T The VIVID system approach to technology independence
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 76-81

%A Jonathan B. Rosenberg
%T Auto-interactive schematics to layout translation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 82-87

%E Al Lowenstein
%E Greg Winter
%T Importance of standards (panel discussion)
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 88-93

%E Rogert J. Pachter
%T Computer aided tools integration and related standards development
in a multi-vendor universe (panel discussion)
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 94-95

%A John A. Pierro
%A George F. Donnellan
%T Mechanical design/analysis integration on Apollo workstations
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 96-101

%A Raj Abraham
%T Custom microcomputers for CAD optimization software
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 102-110

%A Yehuda E. Kalay
%T A database management approach to CAD/CAM systems integration
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 111-116

%A Malgorzata Marek-Sadowska
%T Two-dimensional router for double layer layout
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 117-123

%A Michael Burstein
%A Mary N. Youssef
%T Timing influenced layout design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 124-130

%A J.N. Song
%A Y.K. Chen
%T An algorithm for one and half layer channel routing
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 131-136

%A B. Hennion
%A P. Senn
%A D. Coquelle
%T A new algorithm for third generation circuit simulators:
the one-step relaxation method
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 137-143

%A Mark D. Matson
%T Macromodeling of digital MOS VLSI circuits
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 144-151

%A Michiaki Muraoka
%A Hirokazu Iida
%A Hideyuki Kikuchihara
%A Michio Murakami
%A Kazuyuki Hirakawa
%T ACTAS: an accurate timing analysis system for VLSI
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 152-158

%E Cecelia Jankowski
%T Engineering workstation applications to systems design:
life above the IC (panel discussion)
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 159-160

%A Steven T. Healey
%A Daniel D. Gajski
%T Decomposition of logic networks into silicon
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 162-168

%A Christopher Rowen
%A John L. Hennessy
%T SWAMI: a flexible logic implementation system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 169-175

%A David E. Krekelberg
%A Gerald E. Sobelman
%A Chu S. Jhon
%T Yet another silicon compiler
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 176-182

%A Jose Monteiro da\ Mata
%T ALLENDE: a procedural language
for the hierarchical specification of VLSI layouts
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 183-189

%A H.S. Fung
%A S. Hirscham
%A R. Kulkarni
%T Design for testability in a silicon compilation environment
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 190-196

%A Ruey-Sing Wei
%A Alberto Sangiovanni-Vincentelli
%T PLATYPUS: a PLA test pattern generation tool
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 197-203

%A Hans-Joachim Wunderlich
%T PROTEST: a tool for probabilistic testability analysis
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 204-211

%A Takuji Ogihara
%A Suichi Saruyama
%A Shinichi Murai
%T PATEGE: an automatic DC parameter test generation system
for series gated ECL circuits
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 212-218

%E Prathima Agrawal
%T Workstations: a complete solution to the VLSI designer ?
(panel discussion)
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 219

%A Frederick L. Cohen
%A Chet Palesko
%T Workstations: a complete solution to the VLSI designer ?
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 220

%A Hung-fai Stephen Law
%T Workstations: a complete solution to the VLSI designer ?
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 221

%A Mark Miller
%T Workstations: a complete solution to the VLSI designer ?
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 222

%A Mike Price
%T Workstations: a complete solution to the VLSI designer ?
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 223

%A David W. Smith
%T Workstations: a complete solution to the VLSI designer ?
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 224

%A Nicholas P. Van\ Brunt
%T Workstations: a complete solution to the VLSI designer ?
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 225

%A Francine S. Frome
%T Course, video, and manual dexterity: tailoring training to CAD users
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 226-231

%A Timothy Blackman
%A Jeffrey Fox
%A Christopher Rosebrugh
%T The Silc silicon compiler: language and features
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 232-237

%A F. Meshkinpour
%A M.D. Ercegovac
%T A functional language for description and design of digital systems:
sequential constructs
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 238-244

%A Warren E. Cory
%T Layla: a VLSI layout language
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 245-251

%A T.J. Kowalski
%A D.E. Thomas
%T The VLSI design automation assistant: what's in a knowledge base
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 252-258

%A M.A. Breuer
%A Xi-an Zhu
%T A knowledge based system for selecting a test methodology for a PLA
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 259-265

%A Rostam Joobbani
%A Daniel P. Siewiorek
%T WEAVER: a knowledge-based routing expert
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 266-272

%A Neil Bergmann
%T Generalized CMOS - a technology independent CMOS IC design style
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 273-278

%A Kung-Chao Chu
%A Y. Edmund Lien
%T Technology tracking for VLSI layout design tools
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 279-285

%A Walter S. Scott
%A John K. Ousterhout
%T MAGIC's circuit extractor
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 286-292

%A Louis K. Scheffer
%A Ronny Soetarman
%T Hierarchical analysis of IC artwork
with user defined abstraction rules
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 293-298

%A George E. Bier
%A Andrew R. Pleszkun
%T An algorithm for design rule checking on a multiprocessor
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 299-304

%A Erich Barke
%T Resistance calculation from mask artwork data
by finite element method
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 305-311

%A Thomas R. Smith
%T A data architecture
for an uncertain design and manufacturing environment
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 312-318

%A Andrzej J. Strojwas
%T CMU-CAM system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 319-325

%A Keith S. Reid-Green
%T Cost-effective computer-aided manufacturing of prototype parts
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 326-329

%A Kai-Hsiung Chang
%A William G. Wee
%T A knowledge based planning system for mechanical assembly
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 330-336

%A Susan L. Taylor
%A Roderic Beresford
%A Theodore Sabety
%T Layout design - lessons from the Jedi designer
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 337

%A Winfried Hahn
%A Kristian Fischer
%T MuSiC: an event-flow computer for fast simulation of digital systems
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 338-344

%A David M. Lewis
%T A hardware engine for analogue mode simulation of digital systems
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 345-351

%A Patrick M. Hefferan
%A Val Burdick
%T The ST-264 accelerated electronic CAD system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 352-358

%A Philip M. Spira
%A Carl Hage
%T Hardware acceleration of gate array layout
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 359-366

%A Jayanth V. Rajan
%A Donald E. Thomas
%T Synthesis by delayed binding of decisions
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 367-373

%A Robert L. Blackburn
%A Donald E. Thomas
%T Linking the behavioral and structural domains of representation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 374-380

%A Kumar Hamayya
%A Anshui Kumar
%A Surendra Prasad
%T An automated data path synthesizer
for a canonic structure, implementable in VLSI
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 381-387

%A Anjali Arya
%A Anshui Kumar
%A V.V. Swaminathan
%A Amit Misra
%T Automatic generation of digital system schematic design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 388-395

%A Y.Eric Cho
%T A subjective review of compaction
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 396-404

%A Michael R. Wayne
%A Susan M. Braun
%T Looking for Mr. "Turnkey"
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 405-409

%A Marianne Wilkins
%A Richard Berlin
%A Thomas Payne
%A Gio Wiederhold
%T Relational and entity-relationship model databases
and specialized design files in VLSI design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 410-416

%A Connie U. Smith
%A Geoffrey A. Frank
%A John L. Cuadrado
%T An architecture design and assessment system
for software/hardware codesign
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 417-424

%A Steve Perry
%A Mike Mitchell
%A D. Filling
%T Yield analysis modeling
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 425-428

%A Takeshi Sakata
%A Aritoyo Kishimoto
%T A circuit comparison system for bipolar linear LSI
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 429-434

%A Russell L. Steinweg
%A Kerry Pierce
%A Susan J. Aguirre
%A Scott Nance
%T Silicon compilation of gate array bases
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 435-438

%A M. Iacoponi
%A D. Vail
%A S. Bierly
%A A. Ignatowski
%T A hierarchical gate array architecture and design methodology
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 439-442

%A C.P. Hsu
%A B.N. Tien
%A K. Chow
%A R.A. Perry
%A J. Tang
%T ALPS2: a standard cell layout system
for double-layer metal technology
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 443-448

%A Hart Anway
%A Greg Farnham
%A Rebecca Reid
%T PLINT layout system for VLSI chips
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 449-452

%A Robert A. Walker
%A Donald E. Thomas
%T A model of design representation and synthesis
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 453-459

%A N. Giambiasi
%A B. McGee
%A L. Demians d'Archimbaud
%A C. Delorme
%A P. Roux
%T An adaptive and evolutive tool
for describing general hierarchical models, based on frames and demons
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 460-467

%A James C. Althoff
%A Robert D. Shur
%T A behavioral modeling system for cell compilers
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 468-474

%A Raul Camposano
%T Synthesis techniques for digital systems design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 475-481

%A Nohbyung Park
%A Alice Parker
%T Synthesis of optimal clocking schemes
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 489-495

%E Rob A. Rutenbar
%T Future directions for DA machine research (panel discussion)
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 496-497

%A Robert P. Collins
%A William J.Ketelhut
%T The impact of technological advances on programmable controllers
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 498-502

%A Hidekazu Terai
%A Michiyoshi Hayase
%A Tokinori Kozawa
%T A routing procedure
for mixed array of custom macros and standard cells
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 503-508

%A A.C. Finch
%A K.J. Mackenzie
%A G.J. Baldson
%A G. Symonds
%T A method for gridless routing of printed circuit boards
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 509-515

%A Sangyong Han
%A Sartaj Sahni
%T Layering algorithms for single row routing
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 516-522

%A Robert Leo'nard' Joseph
%T An expert systems approach
to completing partially routed printed circuit boards
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 523-528

%A W.M. Budney
%A S.K. Holewa
%T MIDAS: integrated CAD for total system design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 529-535

%A Shigenobu Suzuki
%A Kazutoshi Takahashi
%A Takao Sugimoto
%A Mikio Kuwata
%T Integrated design system for supercomputer SX-1/SX-2
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 536-542

%A A.F. Hutchings
%A R.J. Bonneau
%A W.M. Fisher
%T Integrated VLSI CAD systems at Digital Equipment Corporation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 543-548

%A N.J. Elias
%A R.J. Byrne
%A A.D. Close
%A R.M. McDermott
%T The ITT VLSI design system:
CAD integrated in a multi-national environment
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 549-553

%E John Lowell
%T Computer aided design for analog applications: an assessment
(panel discussion)
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 554

%A E.T. Grinthal
%T Tutorial: software quality assurance for CAD
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 555-561

%A Christopher W. Pidgeon
%A Peter A. Freeman
%T Development concerns for a software design quality expert system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 562-568

%A Howard B. Schutzman
%T ICHABOD: a data base manager for design automation applications
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 569-576

%A G.P. Barabino
%A G.S. Barabino
%A G. Bisio
%A M. Marchesi
%T A module for improving data access and management
in a integrated CAD environment
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 577-583

%A Gary B. Goates
%A Randy Harris
%T Star's evolving design environment: a user's perspective on CAE
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 584-590

%A Natalie Royal
%A John Hunter
%A Irene Buchanan
%T A case study in process independence
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 591-596

%A John P. Gray
%A John Hunter
%T Portability in silicon CAE
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 597-601

%A Lu Sha
%A Robert W. Dutton
%T An analytical algorithm
for placement of arbitrarily sized rectangular blocks
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 602-608

%A John P. Blanks
%T Near-optimal placement using a quadratic objective function
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 609-615

%A Gotaro Odawara
%A Kazuhiro Iijima
%A Kazutoshi Wakabayashi
%T Knowledge-based placement technique for printed wiring boards
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 616-622

%A C. Roy
%A L.-P. Demers
%A E. Cerny
%A J. Gecsei
%T An object-oriented switch-level simulator
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 623-629

%A RichardH. Lathrop
%A Robert S. Kirk
%T An extensible object-oriented mixed-mode functional simulation system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 630-636

%A V. Ashok
%A R. Costello
%A P. Sadayappan
%T Modeling switch-level simulation using data flow
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 637-644

%A Robert V. Zara
%A David R. Henks
%T Building a layered database for design automation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 645-651

%A Paul McLennan
%T Efficient data management for VLSI design
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 652-657

%A Eric Schell
%A M. Ray Mercer
%T CADTOOLS: a CAD algorithm development system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 658-666

%A M.R. Dagenais
%A V.K. Agarwal
%A N.C. Rumin
%T The McBOOLE logic minimizer
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 667-673

%A Prathima Agrawal
%A Vishwani D. Agrawal
%T Multiple output minimization
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 674-680

%A Kye S. Hedlund
%T Electrical optimization of PLAs
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 681-687

%A Randal E. Bryant
%T Symbolic manipulation of boolean functions
using a graphical representation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 688-694

%A Yiwan Wong
%T Hierarchical circuit verification
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 695-701

%A J.D. Tygar
%A Ron Ellickson
%T Efficient netlist comparison using hierarchy and randomization
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 702-708

%A Mandakumar M. Tendolkar
%T Analysis of timing failures due to random AC defects in VLSI modules
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 709-714

%A Erandal E. Bryant
%A Michael D. Schuster
%T Performance evaluation of FMOSSIM,
a concurrent switch-level fault simulator
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 715-719

%A Anil K. Gupta
%A James R. Armstrong
%T Functional fault modeling and simulation for VLSI devices
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 720-726

%A John Granacki
%A David Knapp
%A Alice Parker
%T The ADAM advanced design automation system:
overview, planner and natural language interface
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 727-730

%A Gotaro Odawara
%A Masahiro Tomita
%A Ichiro Ogata
%T Diagrammatic functional description
of microprocessor and data-flow processor
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 731-734

%A Edward H. Frank
%T Switch-level simulation of VLSI
using a special purpose data driven computer
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 735-738

%A Peter J.M. van\ Laarhoven
%A Emile H.L. Aarts
%A Marc Davio
%T PHIPLA - a new algorithm for logic minimization
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 739-743

%A Y.S. Kuo
%A C. Chen
%A T.C. Hu
%T A heuristic algorithm for PLA block folding
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 744-747

%A Surendra Nahar
%A Sartaj Sahni
%A Eugene Shragowitz
%T Experiments with simulated annealing
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 748-752

%A Robert V. Zara
%A Kevin Ross
%A Harish Sarin
%T An abstract machine data structure
for non-procedural functional models
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 753-756

%A Vigneshwara Row Mokkarala
%A Anthony Fan
%A Ravi Apte
%T A unified approach to simulation and timing verification
at the functional level
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 757-761

%A Thomas J. Schaefer
%T A transistor-level logic-with-timing simulator for MOS circuits
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 762-765

%A Yoshiyuki Koseki
%A Teruhiko Yamada
%T PLAYER: a PLA design system for VLSIs
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 766-769

%A Robert Dwyer
%A Stephen Morris
%A Edward Bard
%A Daniel Green
%T The integration of an advanced gate array router
into a fully automated design system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 770-772

%A Louise T. Lemaire
%T GAMMA: a fast prototype design, build, and test process
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 773-776

%A Dwight D. Hill
%A John P. Fishburn
%A Mary D.P. Leland
%T Effective use of virtual grid compaction in macro-module generators
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 777-780

%A William H. Kao
%A Nader Fathi
%A Chia-Heo Lee
%T Algorithms for automatic transistor sizing in CMOS digital circuits
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 781-784

%A Hiroshi Andou
%A Ichiro Yamamoto
%A Yuuko Mori
%A Yutaka Koike
%A Kimikatsu Shouji
%A Kazuyuki Hirakawa
%T Automatic routing algorithm for VLSI
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 785-788

%A Stef van\ Vlierberghe
%A Jef Rijmenants
%A Walter Heyns
%T Symbolic hierarchical artwork generation system
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 789-793

%A S. Chowdhury
%A M.A. Breuer
%T The construction of minimal area
power and ground nets for VLSI circuits
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 794-797

%A Fred W. Obermeier
%A Randy H. Katz
%T PLA driver selection: an analytical approach
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 798-802

%A Semyon Shteingart
%A Andrew W. Nagle
%A John Grason
%T RTG: automatic register level test generator
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 803-807

%A Andrzej Krasniewski
%A Alexander Albicki
%T Simulation-free estimation of speed degradation
in NMOS self-testing circuits for CAD applications
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 808-811

%A Masayuki Miyoshi
%A Yoshiharu Kazama
%A Osamu Tada
%A Yasuo Nagura
%A Nobutaka Amano
%T Speed-up techniques of logic simulation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 812-815

%A Edward Chan
%T Development of a timing analysis program for multiple clocked network
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 816-819

%A C. Delorme
%A P. Roux
%A L. Demians d'Archimbaud
%A N. Giambiasi
%A R. L'Bath
%A B. McGee
%A R. Charroppin
%T A functional partitioning expert system for test sequences generation
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 820-824

%A Madhukar K. Reddy
%A Sudhakar M. Reddy
%A Prathime Agrawal
%T Transistor level test generation for MOS circuits
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 825-828

%A Beth W. Tucker
%T Electronic CAD/CAM - is it revolution or evolution
%J Proceedings of the 22nd ACM/IEEE Design Automation Conference
%C Las Vegas, Nevada
%D June 1985
%K dac dac22 vlsi
%P 829-834