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

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
88 ms
(Ver 3.3 (11022016))