Robert B. Hitchcock Sr., Donald J. Humcke, Stephen A. Szygenda
Proceedings of the 12th Design Automation Conference
DAC, 1975.

@proceedings{DAC-1975,
	acmid         = "800261",
	address       = "Boston, Massachusetts, USA",
	editor        = "Robert B. Hitchcock Sr. and Donald J. Humcke and Stephen A. Szygenda",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th Design Automation Conference}",
	year          = 1975,
}

Contents (55 items)

19 ×#design
11 ×#automation
6 ×#logic
6 ×#simulation
4 ×#layout
4 ×#testing
3 ×#using
2 ×#algorithm
2 ×#clustering
2 ×#database

DAC-1975-CleemputAL #automation #design #on the

On the status of design automation in canada (WMvC, RFA, JGL), pp. 1–7.

DAC-1975-Rottmann #design

An integrated system for computer design (WR), pp. 8–14.

DAC-1975-HoglundFAMKT #automation #design

Design automation of electronics in Sweden (IH, LF, AAA, BM, EK, OT), pp. 15–22.

DAC-1975-CiompiSTV #automation #design #roadmap #state of the art

State of the art and trends in Design Automation in Italy (PC, LS, MT, GV), pp. 23–31.

DAC-1975-GilliO #algebra #network #scalability #simulation

A new algebraic procedure for the simulation of large digital networks (LG, FO), pp. 32–41.

DAC-1975-ThompsonB #interface #specification

A module interface specification language (EWT, RFB), pp. 42–49.

DAC-1975-DoonerL #re-engineering

The application software engineering tool (NPD, JRL), pp. 50–61.

DAC-1975-Bern #experience

John Hancock’s experience with productivity techniques (NFB), pp. 62–68.

DAC-1975-JongZ #automation #design

Application design within the system for business automation (SBA) (SPdJ, MMZ), pp. 69–76.

DAC-1975-BlainLR #industrial #using

The system bal: a technique for spreading the use of CAD techniques within an industrial environment (GB, AL, JCR), pp. 77–84.

DAC-1975-HemmingH #evolution #logic #modelling #simulation

Digital logic simulation models and evolving technology (CWHJ, JMH), pp. 85–94.

DAC-1975-KozakGC

Operational features of an MOS timing simulator (PK, HKG, BRC), pp. 95–101.

DAC-1975-Losleben #design #performance

Computer aided LSI circuit design: A relationship between topology and performance (PL), pp. 102–104.

DAC-1975-ThompsonS #fault #simulation

Three levels of accuracy for the simulation of different fault types in digital systems (EWT, SAS), pp. 105–113.

DAC-1975-FunatsuWA #generative #testing

Test generation systems in Japan (SF, NW, TA), pp. 114–122.

DAC-1975-AllevaCGP #evaluation #implementation #simulation #source code

A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processor (IA, MGC, RG, FP), pp. 123–133.

DAC-1975-GiuglianoB #automation #design #layout

Present and future on P.C.B. layout design automation system at SIT-Siemens (AG, FB), pp. 134–143.

DAC-1975-AlbertiniAJS #automation

Integrated automation program (I.A.P.) for an electronic switching system (FA, AA, PJ, AS), pp. 144–151.

DAC-1975-Welt #layout #named

NOMAD: A printed wiring board layout system (MJW), pp. 152–161.

DAC-1975-Shupe #automation #component

Automatic component placement in the nomad system (CFS), pp. 162–172.

DAC-1975-Quinn #physics #problem

The placement problem as viewed from the physics of classical mechanics (NRQJ), pp. 173–178.

DAC-1975-JacquartRVF #development #roadmap

Current trends in the development of integrated general purpose CAD systems (RJ, PR, FRV, JF), pp. 180–188.

DAC-1975-Sherman #testing #using

Program function test definition using a three-value simulator (WJS), pp. 189–194.

DAC-1975-ThompsonB75a #implementation #logic #multi #re-engineering #simulation

The software engineering technique of data hiding as applied to multi-level model implementation of logical devices in digital simulation (EWT, NB), pp. 195–201.

DAC-1975-ChienSTR #design #layout

A computer-aided minimum cost transfer machine layout design (TTC, SS, WAT, PR), pp. 202–209.

DAC-1975-PrunetFD #design #industrial

Computer aided design of industrial control systems (FP, DF, JMD), pp. 210–219.

DAC-1975-Whitney

Practical results with CADSYS (DEW), pp. 220–223.

DAC-1975-Rajlich #design

A CAD system for unified hardware-software design (VR), pp. 224–230.

DAC-1975-EnderleS

The CAD-system REGENT (GE, EGS), pp. 231–240.

DAC-1975-Moto-OkaKSS #design #logic

Logic design system in Japan (TMO, TK, TS, MS), pp. 241–250.

DAC-1975-ArnebergA #automation #design

Design automation in norway (PAA, EJA), pp. 251–256.

DAC-1975-Case #evaluation #sequence #statistics #testing

A statistical method for test sequence evaluation (GRC), pp. 257–260.

DAC-1975-SchulerUBB #concurrent #generative #logic #random testing #simulation #testing #using

Random test generation using concurrent logic simulation (DMS, EGU, TEB, SPB), pp. 261–267.

DAC-1975-Zobniw #realtime #using

Real time diagnosis using single pin probe (LMZ), pp. 268–285.

DAC-1975-WilcoxM #automation

An emulator for an automatic test system (PSW, WJLM), pp. 286–289.

DAC-1975-Fike #design #detection #fault #predict #question

Predicting fault detectability in combinational circuits — a new design tool? (JLF), pp. 290–295.

DAC-1975-BrinsfieldT #design #multi

Computer aids for multilayer printed wiring board design (JGB, SRT), pp. 296–305.

DAC-1975-Foster #analysis #source code

Prerouting analysis programs (JCF), pp. 306–310.

DAC-1975-MironT #automation

The automatic printed wire routing system of BACKIS (GJM, SRT), pp. 311–316.

DAC-1975-Ciampi #problem

A system for solution of the placement problem (PLC), pp. 317–323.

DAC-1975-Brennan #algorithm #automation

An algorithm for automatic line routing on Schematic Drawings (RJB), pp. 324–330.

DAC-1975-Teicholz #process

The computer in the space planning process (ET), pp. 331–344.

DAC-1975-MatsukaKU #architecture #design #process

Integrated Designer’s Activity Support System for Architecture (HM, TK, SU), pp. 345–354.

DAC-1975-Robertson #design

Computer Aided Design in D. P. W (JKR), pp. 355–360.

DAC-1975-SchmidtD #algorithm

An iterative algorithm for placement and assignment of integrated circuits (DCS, LED), pp. 361–368.

DAC-1975-IshigaKS #clustering #logic

A logic partitioning procedure by interchanging clusters (TI, TK, SS), pp. 369–377.

DAC-1975-Groger #approach #clustering #logic

A new approach to structural partitioning of computer logic (HJG), pp. 378–383.

DAC-1975-YoshizawaKK #array #heuristic

A heuristic procedure for ordering MOS arrays (HY, HK, KK), pp. 384–393.

DAC-1975-Foster75a #database #evolution

The evolution of an integrated data base (JCF), pp. 394–398.

DAC-1975-KorenjakT #database

An integrated CAD data base system (AJK, AHT), pp. 399–406.

DAC-1975-Valle #layout #relational

Relational data handling techniques in integrated circuit mask layout procedures (GV), pp. 407–413.

DAC-1975-BairdC #design #verification

An artwork design verification system (HSB, YEC), pp. 414–420.

DAC-1975-RoseA #design #hardware #modelling

Modeling and design description of hierarchical hardware/software systems (CWR, MA), pp. 421–430.

DAC-1975-Losleben75a #design #validation

Design validation in hierarchical systems (PL), pp. 431–438.

DAC-1975-Mory #assembly

Assembly drawings and bills of material creating system (ADMS) (HM), pp. 439–448.