Judith G. Brinsfield, Stephen A. Szygenda, David W. Hightower
Proceedings of the 14th Design Automation Conference
DAC, 1977.

@proceedings{DAC-1977,
	acmid         = "800262",
	address       = "New Orleans, Louisiana, USA",
	editor        = "Judith G. Brinsfield and Stephen A. Szygenda and David W. Hightower",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 14th Design Automation Conference}",
	year          = 1977,
}

Contents (77 items)

28 ×#design
19 ×#automation
9 ×#architecture
7 ×#generative
7 ×#layout
7 ×#logic
7 ×#testing
6 ×#algorithm
6 ×#named
6 ×#simulation

DAC-1977-NishiokaKN #automation #layout

A minicomputerized automatic layout system for two-layer printed wiring boards (IN, TK, HN), pp. 1–11.

DAC-1977-Dobes #algorithm #multi

A multi-contouring algorithm (ID), p. 12.

DAC-1977-CageS #multi

A rectangle-probe router for multilayer P.C. boards (WGC, RJSI), pp. 13–22.

DAC-1977-AgarwalB #algorithm #aspect-oriented

Some theoretical aspects of algorithmic routing (PA, MAB), pp. 23–31.

DAC-1977-HellerMD #predict #requirements

Prediction of wiring space requirements for LSI (WRH, WFM, WED), pp. 32–42.

DAC-1977-Peterson #automation #interactive

Computer/interactive cleanup of non-gridded PWB’s after automatic routing (DPP), pp. 43–57.

DAC-1977-Kovijanic #generative #testing #verification

A new look at test generation and verification (PGK), pp. 58–63.

DAC-1977-Somaia #automation #logic #testing

An automated simultaneous probing system for testing complex logic assemblies “the bed of nails system” (RHS), pp. 64–67.

DAC-1977-Pfeuffer #generative

Computer aided test pattern generation for digital processors (KP), pp. 68–77.

DAC-1977-YamadaWSITF #automation #generative #scalability #testing

Automatic test generation for large digital circuits (AY, NW, HS, OI, KT, SF), pp. 78–83.

DAC-1977-Strebendt #algorithm #generative #heuristic

Heuristic enhancement of an algorithmic test generator (RES), pp. 84–87.

DAC-1977-Snethen #fault #generative

Simulator-oriented fault test generator (TJS), pp. 88–93.

DAC-1977-Fulton #tool support

Tools for map graphics (PF), pp. 94–100.

DAC-1977-Domaszewicz #analysis

Flight test analysis of missile control systems (MD), pp. 101–108.

DAC-1977-Hall #online #realtime

MIDAS an on-line real time material system (RSH), pp. 109–111.

DAC-1977-Brown #component #design #using

Using a computer aided graphics system to help design and draft automotive components (NLB), pp. 112–117.

DAC-1977-Strunge #fault #modelling

Fault modeling in a hierarchical simulator (JJS), pp. 118–127.

DAC-1977-AbramoviciBK #concurrent #fault #functional #modelling #simulation

Concurrent fault simulation and functional level modeling (MA, MAB, KK), pp. 128–137.

DAC-1977-ChoKS #approach #automation #design #layout #named

Floss: An approach to automated layout for high-volume designs (YEC, AJK, DES), pp. 138–141.

DAC-1977-RuehliSG #optimisation

Analytical power/timing optimization technique for digital system (AER, PKWS, GG), pp. 142–146.

DAC-1977-AguleLRS #optimisation

An experimental system for power/timing optimization of LSI chips (BJA, JDL, AER, PKWS), pp. 147–152.

DAC-1977-KollerL #design #standard

The siemens-avesta-system for computer-aided design of MOS-standard cell circuits (KWK, UL), pp. 153–157.

DAC-1977-CrockerMM #automation #design

Automatic ECL LSI design (NRC, RWM, AM), pp. 158–167.

DAC-1977-BedardFSS #layout

A production PCB layout system on a minicomputer (KB, SF, BS, US), pp. 168–173.

DAC-1977-PedroG #algorithm #automation #design #named #set

DOCIL: An automatic system for printed circuit board (PCB) designing. A board description language and an algorithm to connect a set of points (TdP, RG), pp. 174–181.

DAC-1977-Matthews #design

A human engineered PCB design system (AJM), pp. 182–186.

DAC-1977-Rammig #automation #concept #editing #hardware

A concept for the editing of hardware resulting in an automatic hardware-editor (FJR), pp. 187–193.

DAC-1977-MorrisMG #network #scalability #simulation #using

Simulation of large communications networks using SPIN (ILM, JM, RG), pp. 194–204.

DAC-1977-El-ZiqS #automation #design #logic #network

Logic design automation of diagnosable MOS combinational logic networks (YMEZ, SYHS), pp. 205–215.

DAC-1977-Magnhagen #case study #design #experience #probability #simulation

Practical experiences from signal probability simulation of digital designs (BM), pp. 216–219.

DAC-1977-BoseS #detection #logic

Detection of static and dynamic hazards in logic nets (AKB, SAS), pp. 220–224.

DAC-1977-ArmstrongW #simulation

Simulation techniques for microprocessors (JRA, GW), pp. 225–229.

DAC-1977-SchulerC #fault #performance #simulation

An efficient method of fault simulation for digital circuits modeled from boolean gates and memories (DMS, RKC), pp. 230–238.

DAC-1977-Dudnik #design #nondeterminism #optimisation

Uncertainty and optimization in the design of building subsystems (EED), pp. 239–243.

DAC-1977-Kennedy #architecture #education #experience

Symbols, graphics and architectural education: The pagan experience (MK), pp. 244–253.

DAC-1977-BergesonB #approach #architecture

An affordable approach to an architectural computer system (DEB, RB), pp. 254–264.

DAC-1977-Jackson #evolution

Evolution of a spatial allocation system: Allocate (BJ), p. 265.

DAC-1977-Smith #architecture #education

THE SITE MACHINE Computer-aided instruction in architectural education (EFS), pp. 266–274.

DAC-1977-Frew #architecture #design

Computer aided design in North American Schools of Architecture (RSF), pp. 275–276.

DAC-1977-Gebert #architecture #design

Computer-aided design and practice in city college school of architecture (GAG), pp. 277–278.

DAC-1977-Teicholz #architecture #design

Computer-aided architectural design (ET), p. 279.

DAC-1977-TanakaB #architecture

Department of architecture university of illinois (KET, DEB), p. 280.

DAC-1977-Kennedy77a #architecture #design

Computer aided design college of architecture University of Kentucky (MK), p. 281.

DAC-1977-Hogan #automation #design

A second chance at automation as a design tool (RJH), p. 282.

DAC-1977-Frew77a #architecture

Yale school of architecture (RSF), p. 283.

DAC-1977-Breuer #algorithm

A class of min-cut placement algorithms (MAB), pp. 284–290.

DAC-1977-KhokhaniP #layout #problem

The chip layout problem: A placement procedure for lsi (KHK, AMP), pp. 291–297.

DAC-1977-ChenFKNS #automation #layout #problem

The chip layout problem: An automatic wiring procedure (KAC, MF, KHK, NN, SS), pp. 298–302.

DAC-1977-Baird #algorithm #analysis #performance

Fast algorithms for LSI artwork analysis (HSB), pp. 303–311.

DAC-1977-AllgairE #approach #comparison

A comprehensive approach to a connectivity audit, or a fruitful comparison of apples and oranges (RMA, DSE), pp. 312–321.

DAC-1977-YoshidaMNCON #layout #scalability

A layout checking system for large scale integrated circuits (KY, TM, YN, TC, KO, SN), pp. 322–330.

DAC-1977-Harlow #design #interactive

The open shop interactive mask design operation at harris semiconductor (JEHI), pp. 331–335.

DAC-1977-Amon #automation #design

Automatic optical design with accos v program (MA), pp. 336–340.

DAC-1977-BobasV #automation #design

A design automation system for printed circuit board assemblies (AB, JV), pp. 341–350.

DAC-1977-Waldvogel #hybrid #multi #using

Computer designed multilayer hybrid substrate using thick film technology (CWW), pp. 351–353.

DAC-1977-Krohn #design #scalability #verification

Design verification of large scientific computers (HEK), pp. 354–361.

DAC-1977-Noon #design #logic #validation #verification

A Design Verification and Logic Validation System (WAN), pp. 362–368.

DAC-1977-EvangelistiGO #design

Designing with LCD: language for computer design (CJE, GG, HO), pp. 369–376.

DAC-1977-Cleemput

An hierarchical language for the structural description of digital systems (WMvC), pp. 377–385.

DAC-1977-Larsen #effectiveness #layout

Cost effective layout digitizing and mask pen plotting of custom microelectronic devices (RPL), pp. 386–390.

DAC-1977-JaffeY #automation #diagrams #using

Automating analog circuit diagrams using a list processing language (RCJ, JPY), pp. 391–395.

DAC-1977-Bayegan #named

CASS: Computer aided schematic system (HMB), pp. 396–404.

DAC-1977-Linden #design

Manipulation of design data (CAL), pp. 405–410.

DAC-1977-ThomasS #automation #design #performance #verification

Measuring designer performance to verify design automation systems (DET, DPS), pp. 411–418.

DAC-1977-Swiatek #automation #design

A design automation system for telephone electronic switching system (FES), pp. 419–424.

DAC-1977-Carley #automation #design #named #network

SWESS — the middle system of a design automation network (DKC), pp. 425–430.

DAC-1977-Walsh #named #network

SPIDER — a Computer Aided Manufacturing Network (MEW), pp. 431–436.

DAC-1977-Srch #development

PIRAMED project an integrated CAD/CAM system development (RWS), pp. 437–444.

DAC-1977-HeathCC #concurrent #development #hardware #named

CDL — A tool for concurrent hardware and software development (JRH, BDC, TTC), pp. 445–449.

DAC-1977-Christley #design #interactive

Thick film substrate (Micropackage) design utilizing interactive Computer Aided Design systems (FMC), pp. 450–459.

DAC-1977-CorreiaP

Introduction to an LSI test system (MC, FBP), pp. 460–461.

DAC-1977-EichelbergerW #design #logic #testing

A logic design structure for LSI testability (EBE, TWW), pp. 462–468.

DAC-1977-GodoyFB #automation #design #logic #testing

Automatic checking of logic design structures For compliance with testability ground rules (HCG, GBF, PSB), pp. 469–478.

DAC-1977-BottorffFGO #generative #logic #network #scalability #testing

Test generation for large logic networks (PSB, REF, NHG, EJO), pp. 479–485.

DAC-1977-HsiehRVD #generative #testing

Delay test generation (ERH, RAR, LJV, WTD), pp. 486–491.

DAC-1977-StoreyB #simulation

Delay test simulation (TMS, JWB), pp. 492–494.

DAC-1977-Smith77a #automation #design #re-engineering #tutorial

Software engineering techniques in design automation&madash;a tutorial (RJSI), pp. 495–507.