The Community for Technology Leaders
Design Automation Conference (1978)
Las Vegas, NV, USA USA
June 19, 1978 to June 21, 1978

Maintaining Integrity in Complex Shape Definitions (PDF)

A.E. Baer , New Jersey Institute of Technology, Newark, New Jersey
pp. 9-15

A Practical Technique for Benefit-Cost Analysis of Computer-Aided Design and Drafting Systems (PDF)

R.R. Shah , Atomic Energy of Canada Limited, Chalk River Nuclear Laboratories, Chalk River, Ontario
pp. 16-22

Data Preparation and Entry for Computer-Aided Mapping (PDF)

B. Schechter , Chicago Aerial Survey, Des Plaines, Illinois
pp. 48-52

CAMRAS: Computer Assisted Mapping & Records Activity Systems (PDF)

W.L. Bathke , CAMRAS: Project, Memphis, Tennessee
pp. 53

File Format for Data Exchange between Graphic Data Bases (PDF)

A.G. Gross , Bell Telephone Laboratories, Murray Hill, N. J.
pp. 54-59

Pin Assignment on a Printed Circuit Board (PDF)

L. Mory-Rauch , GTE Laboratories Incorporated, Waltham, Massachusetts
pp. 70-73

Implementation of an Interactive Printed Circuit Design System (PDF)

K.R. Stevens , Digital Systems Laboratory, Stanford University, Stanford, CA
pp. 74-81

A Multi-Pass, Multi-Algorithm Approach to PCB Routing (PDF)

R.S. Fisher , GTE Laboratories Incorporated, Waltham, MA
pp. 82-91

A Topologically Based Non-Minimum Distance Routing Algorithm (PDF)

M.T. Doreau , Digital Equipment Corporation, Maynard, MA
pp. 92-99

Fast Maze Router (PDF)

J. Soukup , Bell-Northern Research, Ottawa, Ontario
pp. 100-102

A Test Methodology for Large Logic Networks (PDF)

G.H. Stange , IBM Corporation System Products Division, Endicott, NY
pp. 103-109

Selective Controllability: A Proposal for Testing and Diagnosis (PDF)

F. Hsu , IBM Corporation System Products Division, Endicott, NY
pp. 110-116

A Unified Approach to Test Data Analysis (PDF)

M.A. Gianfagna , RCA Corporation Solid State Technology Center, Somerville, NJ
pp. 117-124

A Notation and System for 3-D Constructions (PDF)

C.I. Yessios , The Ohio State University, Columbus, Ohio
pp. 125-132

Representation and Generation of Rectangular Dissections (PDF)

U. Flemming , Yale University, New Haven, Connecticut
pp. 138-144

BUBBLE: Relationship Diagrams Using Iterative Vector Approximation (PDF)

G. Fortin , Universite Laval, Quebec City, Canada
pp. 145-151

Interactive Space Layout: A Graph Theoretical Approach (PDF)

J. Ruch , Yale University, New Haven, Connecticut
pp. 152-157

Multisource Illumination & Shadowing (PDF)

K.S. Andonian , Carleton University, Ottawa, Ontario, Canada
pp. 158-163

An Experiment in Architectural Instruction (PDF)

R.W. Dvorak , University of Arizona, Tucson, AZ
pp. 164-166

Generalized Translation in a Data Base System (PDF)

C. Frasson , University of Tunis, Tunisia
pp. 176-181

ICARUS: An Interactive Integrated Circuit Layout Program (PDF)

D.G. Fairbairn , Xerox Palo Alto Research Center, Palo Alto, CA
pp. 188-192

A Color Graphics System for I.C. Mask Design and Analysis (PDF)

N. Weste , Bell Telephone Laboratories, Holmdel, NJ
pp. 199-205

Computer Aided Design of Microprocessor-Based Systems (PDF)

A. Ross , Air Force Institute of Technology, Wright Patterson Air Force Base, Ohio
pp. 227-230

Phoenix System Overview (PDF)

A.F. Rosene , GTE Sylvania, Needham Heights, MA
pp. 231

Phoenix Architecture (PDF)

J. Roder , GTE Sylvania, Needham Heights, MA
pp. 232

Programmers Workbench, Unix and Documentation (PDF)

D. Smith , Bell Laboratories, Murray Hill, NJ
pp. 233

Circuit Design Aids on Unix (PDF)

A.G. Fraser , Bell Laboratories, Murray Hill, NJ
pp. 234

FORMPLOT--A Forms Design System (PDF)

D.V. Moffat , University of North Carolina, Chapel Hill
pp. 235-239

LORES - Logic Reorganization System (PDF)

S. Nakamura , Mitsubishi Electric Corp., Kamakura, Japan
pp. 250-260

Interactive Specification of Structured Designs (PDF)

A. Bechtolsheim , Digital Systems Laboratory, Stanford University
pp. 261-263

Design Verification and Performance Analysis (PDF)

M.A. Wold , Honeywell Information Systems, Phoenix, AZ
pp. 264-270

Design Rule Verification Based on One Dimensional Scans (PDF)

P. Wilcox , Bell-Northern Research, Ottawa, Ontario, Canada
pp. 285-289

Automated Techniques for Product-Grading Systems Design (PDF)

B.V. Dasarathy , M&S Computing, Inc., Huntsville, AL
pp. 290-296

A Computer Graphic Human Figure System Applicable to Kineseology (PDF)

W. Fetter , Southern Illinois Research Institute, Carbondale, Illinois
pp. 297

On the Optimum Two-Dimensional Allocation Problem (PDF)

M.J. Haims , IBM System Products Division, East Fishkill Hopewell Junction, NY
pp. 298-304

A Synthesis Rule for Concurrent Systems (PDF)

T. Agerwala , The University of Texas at Austin, Austin, TX
pp. 305-311

SIGMA-CAD: Some New Concepts in Design of General Purpose CAD Systems (PDF)

B. David , C.N.R.S., Laboratoire I.M.A.G.,GRENOBLE-Cedex, FRANCE
pp. 321-325

A Testing Strategy for PLAs (PDF)

C.W. Cha , IBM System Products Division, East Fishkill facility Hopewell Junction, NY
pp. 326-334

EBT: A Comprehensive Test Generation Technique for Highly Sequential Circuits (PDF)

R.A. Marlett , Westinghouse Electric Corporation, Baltimore, MD
pp. 335-339

Functional Simulation and Fault Diagnosis (PDF)

M. Malek , Technical University of Wroclaw, Wroclaw, Poland
pp. 340-346

CADMON: Improving the CAD System Human Interface (PDF)

H. Eisenberg , Hughes Aircraft Company, Culver City, CA
pp. 353-358

DAS: An Automated System to Support Design Analysis (PDF)

R.R. Willis , Hughes Aircraft Company
pp. 359-365

ASCE Avionic System Configuration Evaluation (PDF)

J. Clema , Simulation Technology, Inc., Dayton, Ohio
pp. 380-385

Multi-Sim, A Dynamic Multi-Level Simulator (PDF)

R.C. Chen , University of Pennsylvania, Philadelphia, PA
pp. 386-391

SALOGS-IV A Program to Perform Logic Simulation and Fault Diagnosis (PDF)

G.R. Case , Sandia Laboratories Computer Aided Design Division, Albuquerque, NM
pp. 392-397

Accurate Simulation of Flip-Flop Timing Characteristics (PDF)

D.J. Evans , Harris Electronic Systems Divisions, Melbourne, FL
pp. 398-404

A Module Level Simulation Technique for Systems Composed of LSI's And MSI's (PDF)

M. Tokoro , Department of Electrical Engineering, Keio University, Yokohama, JAPAN
pp. 418-427

LSI Components Modelling in a Three-Valued Functional Simulation (PDF)

G. Alia , Istituto di Elaborazione della Informazione, C.N.R., Pisa, Italy
pp. 428-438

Dynamic and Deductive Fault Simulation (PDF)

A. Miara , Laboratoire d'Automatique de Montpellier Universite des Sciences et Techniques du Languedoc, MONTPELLIER-Cedex, France
pp. 439-443

Classification of PCB Types for Cost Effective Solutions (PDF)

J.T. Harvel , Markrevel, Incorporated, San Diego, CA
pp. 444-445

The Design of a Dense PCB Using an Interactive DA System (PDF)

D. Raeger , Scientific Calculations, Inc., Fishers, NY
pp. 454

Software Manufacturing (PDF)

L. Bernstein , Bell Laboratories, Murray Hill, NJ
pp. 455-462

Topics in Design Automation Data Bases (PDF)

D. Nash , Raytheon Company, Missile Systems Division, Bedford, MA
pp. 463-474

Structured Design Methodologies (PDF)

G.D. Bergland , Bell Telephone Laboratories, Inc., Murray Hill, NJ
pp. 475-493
91 ms
(Ver 3.3 (11022016))