Donald J. Humcke, J. Michael Galey, Stephen A. Szygenda, Pat O. Pistilli, Nitta P. Dooner, Judith G. Brinsfield, J. S. Olila
Proceedings of the 13th Design Automation Conference
DAC, 1976.

@proceedings{DAC-1976,
	acmid         = "800146",
	address       = "San Francisco, California, USA",
	editor        = "Donald J. Humcke and J. Michael Galey and Stephen A. Szygenda and Pat O. Pistilli and Nitta P. Dooner and Judith G. Brinsfield and J. S. Olila",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 13th Design Automation Conference}",
	year          = 1976,
}

Contents (64 items)

14 ×#design
10 ×#automation
8 ×#named
7 ×#interactive
6 ×#layout
6 ×#logic
5 ×#simulation
4 ×#analysis
4 ×#approach
4 ×#generative

DAC-1976-LeeR #finite #generative

Finite element mesh generation employing satellite graphics (SKL, WSR), pp. 1–6.

DAC-1976-RubelK #design #interactive #named

KINSYN: A minicomputer-based interactive mechanism design system (AJR, REK), pp. 7–16.

DAC-1976-Ho #analysis #preprocessor #source code

A preprocessor for structural analysis programs (PKH), pp. 17–24.

DAC-1976-MayfieldB #geometry

Applications of a numerical geometry system in engineering (JM, RMB), pp. 25–33.

DAC-1976-RabideauF #interactive #layout

Interactive graphics package for human engineering and layout of vehicle workspace (GFR, JF), pp. 34–41.

DAC-1976-ChappellMPS #functional #simulation

Functional simulation in the lamp system (SGC, PRM, JFP, AMS), pp. 42–47.

DAC-1976-ParaschP #design #development

Development and application of a designer oriented cyclic simulator (GJP, RLP), pp. 48–53.

DAC-1976-ChicoixPG #network #scalability #simulation

An accurate time delay model for large digital network simulation (CC, JP, NG), pp. 54–60.

DAC-1976-Ulrich #logic #simulation

Non-integral event timing for digital logic simulation (EGU), pp. 61–67.

DAC-1976-WilcoxR #fault #interactive #logic #named

F/LOGIC — An interactive fault and logic simulator for digital circuits (PSW, HR), pp. 68–73.

DAC-1976-HerrickS #automation #design

A successful automated IC design system (WVH, JRS), pp. 74–78.

DAC-1976-Feller #automation #layout #low cost

Automatic layout of low-cost quick-turnaround random-logic custom LSI devices (AF), pp. 79–85.

DAC-1976-HorbstPB #interactive #tool support

Engagement of interactive graphic tools in a CAD-system for digital units (EH, RP, WB), pp. 86–90.

DAC-1976-Marks #design #documentation #online #using

Use of an on-line, time-shared graphics system to design and document printed circuit boards (LM), pp. 91–103.

DAC-1976-Lerman #design #using

Computer aided design of printed circuit boards using remote graphics and TSO (HNL), pp. 104–108.

DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification

Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.

DAC-1976-Bernstein #approach #modelling #network #physics

Transmission line models, a unified physical network approach (SB), pp. 117–130.

DAC-1976-Daae #approximate #interactive

Bandpass filter approximation by interactive graphics (HD), pp. 131–133.

DAC-1976-CytrynP

A system for computer assisted planning (Planning ADES) (AC, WHP), pp. 134–140.

DAC-1976-AkbenH

A language for selective distortion of spatial structures (FA, SGH), pp. 141–150.

DAC-1976-WuS #algorithm #float

A new routing algorithm for two-sided boards with floating vias (WW, DCS), pp. 151–160.

DAC-1976-Allen #adaptation

A topologically adaptable cellular router (JRA), pp. 161–167.

DAC-1976-HellerF #approach

An organizational approach to routing printed circuit boards (BDH, RSF), pp. 168–171.

DAC-1976-PiscatelliT

A solution to closeness checking of non-orthogonal printed circuit board wiring (RNP, PT), pp. 172–178.

DAC-1976-Zobniw #multi #realtime #using

Multi-defect real time diagnosis using a single pin probe (LMZ), pp. 179–185.

DAC-1976-Vaughn #generative #named

CDALGO — a test pattern generation program (GDV), pp. 186–193.

DAC-1976-RozeboomC #generative #implementation #testing

An implementation of computer aided test generation techniques (RWR, JJC), pp. 194–202.

DAC-1976-Rozeboom #functional #problem #testing

Current problems related to LSI functional testing (RWR), pp. 203–204.

DAC-1976-Johnson #automation #testing

An automated probing procedure for board testing (WAJ), pp. 205–213.

DAC-1976-HananSA

Some experimental results on placement techniques (MH, PKWS, BJA), pp. 214–224.

DAC-1976-Rau #multi

A new philosophy for interconnection on multilayer boards (BRR), pp. 225–231.

DAC-1976-GoldsteinL #optimisation

Common feature techniques for discrete optimization (AJG, ABL), pp. 232–244.

DAC-1976-KamikawaiKOYC

Placement and routing program for master-slice LSI’s (RK, KK, AO, IY, TC), pp. 245–250.

DAC-1976-WilsonS #comparison

An analytic technique for router comparison (DCW, RJSI), pp. 251–258.

DAC-1976-PattersonP #automation

A proven operational CAD system for P.W.B. design-based on a mini-computer and featuring fully automatic placement and routing (GLP, BHP), pp. 259–264.

DAC-1976-Case #analysis #fault #logic

Analysis of actual fault mechanisms in CMOS logic gates (GRC), pp. 265–270.

DAC-1976-GoundanH #clustering #fault #logic

Partitioning logic circuits to maximize fault resolution (AG, JPH), pp. 271–277.

DAC-1976-PaulT #concept #evaluation #fault tolerance #named #simulation

SEGMA — A simulation package for conception aid and fault tolerance evaluation of computing systems (JLP, RT), pp. 278–284.

DAC-1976-CiampiDN #database #integration

Control and integration of a CAD data base (PLC, ADD, JDN), pp. 285–289.

DAC-1976-CiampiN #concept #database

Concepts in CAD data base structures (PLC, JDN), pp. 290–294.

DAC-1976-Yeh #approach #verification

An approach to program verification (RTY), pp. 295–300.

DAC-1976-BuntineP #analysis #design

Design rule checking and analysis of IC mask designs (WLB, BP), pp. 301–308.

DAC-1976-PreasBG #analysis #automation

Automatic circuit analysis based on mask information (BP, WLB, CWG), pp. 309–317.

DAC-1976-Hightower #interactive #named

SLEUTH — a metal-to-metal audit program in an interactive environment (DWH), pp. 318–326.

DAC-1976-DobesB #automation #design #geometry #recognition

The automatic recognition of silicon gate transistor geometries: An LSI design aid program (ID, RB), pp. 327–335.

DAC-1976-IkemotoSIK

Correction and wiring check-system for master-slice LSI (YI, TS, KI, HK), pp. 336–343.

DAC-1976-JonesN #assessment #programming

A quantitative assessment of IBM’s programming productivity techniques (LCJ, DAN), pp. 344–353.

DAC-1976-Soong #design #logic

The design of program logic (NLS), pp. 354–365.

DAC-1976-VeldermanPM #approach #interactive #programming

An approach to interactive graphic programming (PV, GFP, PJM), pp. 366–370.

DAC-1976-Hubbard #design

Language extensibility and program design (RDHJ), pp. 371–376.

DAC-1976-SmithL #automation #diagrams #generative #logic

Automatic generation of logic diagrams (JAS, JGL), pp. 377–391.

DAC-1976-Rutman

Non-gridded graphic input (RR), pp. 392–398.

DAC-1976-PerskyDS #automation #design #named

LTX — a system for the directed automatic design of LSI circuits (GP, DND, DGS), pp. 399–407.

DAC-1976-Schweikert #2d #algorithm #layout

A 2-dimensional placement algorithm for the layout of electrical circuits (DGS), pp. 408–416.

DAC-1976-Persky #automation #layout #named #string

PRO — an automatic string placement program for polycell layout (GP), pp. 417–424.

DAC-1976-Deutsch

A “Dogleg” channel router (DND), pp. 425–433.

DAC-1976-GibsonN #layout #named

SLIC — Symbolic Layout of Integrated Circuits (DG, SN), pp. 434–440.

DAC-1976-Cleemput #aspect-oriented #layout #on the #problem

On the topological aspects of the circuit layout problem (WMvC), pp. 441–450.

DAC-1976-Pierce #re-engineering

The literature of software engineering: Description and guide (ARP), pp. 451–461.

DAC-1976-Matelan #automation #design #realtime

Automating the design of microprocessor-based real time control systems (MNM), pp. 462–469.

DAC-1976-Robinson #specification

Specification techniques (LR), pp. 470–478.

DAC-1976-Misra #algorithm #design #problem

A principle of algorithm design on limited problem domain (JM), pp. 479–483.

DAC-1976-Freeman #design #overview #reliability

Software reliability and design: A survey (PF), pp. 484–494.

DAC-1976-CividjianDC

The calculation of the dimensions for an electromagnet with a T armature (GAC, PD, OC), pp. 495–501.