Table of Contents

• On the status of design automation in canadaWilliam M. van Cleemput, R. F. Allum, James G. Linders. 1-7 [doi]
• An integrated system for computer designWilfried Rottmann. 8-14 [doi]
• Design automation of electronics in SwedenIngmar Höglund, L. Fransson, A. A. Almen, Bengt Magnhagen, Eskil Kjelkerud, Owe Thessén. 15-22 [doi]
• State of the art and trends in Design Automation in ItalyP. Ciompi, Luca Simoncini, Marco Tomljanovich, Giorgio Valle. 23-31 [doi]
• A new algebraic procedure for the simulation of large digital networksLuigi Gilli, Francesco Olla. 32-41 [doi]
• A module interface specification languageEdward W. Thompson, Robert F. Bridge. 42-49 [doi]
• The application software engineering toolNitta P. Dooner, Janice R. Lourie. 50-61 [doi]
• John Hancock's experience with productivity techniquesNancy F. Bern. 62-68 [doi]
• Application design within the system for business automation (SBA)S. Peter de Jong, Moshé M. Zloof. 69-76 [doi]
• The system bal: a technique for spreading the use of CAD techniques within an industrial environmentG. Blain, A. Labarthe, J.-C. Rault. 77-84 [doi]
• Digital logic simulation models and evolving technologyCliff W. Hemming Jr., John M. Hemphill. 85-94 [doi]
• Operational features of an MOS timing simulatorPaul Kozak, Herman K. Gummel, Basant R. Chawla. 95-101 [doi]
• Computer aided LSI circuit design: A relationship between topology and performancePaul Losleben. 102-104 [doi]
• Three levels of accuracy for the simulation of different fault types in digital systemsEdward W. Thompson, Stephen A. Szygenda. 105-113 [doi]
• Test generation systems in JapanShigehiro Funatsu, Nobuo Wakatsuki, Toshihiro Arima. 114-122 [doi]
• A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processorI. Alleva, M. G. Corti, R. Galimberti, F. Pescarolo. 123-133 [doi]
• Present and future on P.C.B. layout design automation system at SIT-SiemensA. Giugliano, F. Bosisio. 134-143 [doi]
• Integrated automation program (I.A.P.) for an electronic switching systemFrancesca Albertini, Alberto Ascagni, P. Jabes, Alberto Stefanini. 144-151 [doi]
• NOMAD: A printed wiring board layout systemMartin J. Welt. 152-161 [doi]
• Automatic component placement in the nomad systemCharles F. Shupe. 162-172 [doi]
• The placement problem as viewed from the physics of classical mechanicsNeil R. Quinn Jr.. 173-178 [doi]
• Current trends in the development of integrated general purpose CAD systemsRené Jacquart, Philippe Régnier, François-Régis Valette, Jack Foisseau. 180-188 [doi]
• Program function test definition using a three-value simulatorW. Jean Sherman. 189-194 [doi]
• The software engineering technique of data hiding as applied to multi-level model implementation of logical devices in digital simulationEdward W. Thompson, N. Billawala. 195-201 [doi]
• A computer-aided minimum cost transfer machine layout designTze-Thong Chien, Saul Serben, William A. Taylor, Paolo Rolando. 202-209 [doi]
• Computer aided design of industrial control systemsFrançois Prunet, Denis Floutier, J. M. Dumas. 210-219 [doi]
• Practical results with CADSYSDaniel E. Whitney. 220-223 [doi]
• A CAD system for unified hardware-software designVáclav Rajlich. 224-230 [doi]
• The CAD-system REGENTGünter Enderle, Ernst G. Schlechtendahl. 231-240 [doi]
• Logic design system in JapanTohru Moto-Oka, Tadashi Kurachi, Tsutomu Shiino, Masakatsu Sugimoto. 241-250 [doi]
• Design automation in norwayP. A. Arneberg, Einar J. Aas. 251-256 [doi]
• A statistical method for test sequence evaluationGlenn R. Case. 257-260 [doi]
• Random test generation using concurrent logic simulationDonald M. Schuler, Ernst G. Ulrich, Thomas E. Baker, Susan P. Bryant. 261-267 [doi]
• Real time diagnosis using single pin probeLubomyr M. Zobniw. 268-285 [doi]
• An emulator for an automatic test systemPhilip S. Wilcox, W. J. L. McCready. 286-289 [doi]
• Predicting fault detectability in combinational circuits - a new design tool?John L. Fike. 290-295 [doi]
• Computer aids for multilayer printed wiring board designJudith G. Brinsfield, S. R. Tarrant. 296-305 [doi]
• Prerouting analysis programsJohn C. Foster. 306-310 [doi]
• The automatic printed wire routing system of BACKISG. J. Miron, S. R. Tarrant. 311-316 [doi]
• A system for solution of the placement problemPeter L. Ciampi. 317-323 [doi]
• An algorithm for automatic line routing on Schematic DrawingsR. J. Brennan. 324-330 [doi]
• The computer in the space planning processEric Teicholz. 331-344 [doi]
• Integrated Designer's Activity Support System for ArchitectureHideo Matsuka, Toshihiro Kawai, Sakae Uno. 345-354 [doi]
• Computer Aided Design in D. P. WJ. Kirk Robertson. 355-360 [doi]
• An iterative algorithm for placement and assignment of integrated circuitsDouglas C. Schmidt, Larry E. Druffel. 361-368 [doi]
• A logic partitioning procedure by interchanging clustersTadakatsu Ishiga, Tokinori Kozawa, Shoji Sato. 369-377 [doi]
• A new approach to structural partitioning of computer logicHans-Joachim Gröger. 378-383 [doi]
• A heuristic procedure for ordering MOS arraysHitoshi Yoshizawa, Hiroshi Kawanishi, K. Kani. 384-393 [doi]
• The evolution of an integrated data baseJohn C. Foster. 394-398 [doi]
• An integrated CAD data base systemA. J. Korenjak, A. H. Teger. 399-406 [doi]
• Relational data handling techniques in integrated circuit mask layout proceduresGiorgio Valle. 407-413 [doi]
• An artwork design verification systemHenry S. Baird, Y. Eric Cho. 414-420 [doi]
• Modeling and design description of hierarchical hardware/software systemsCharles W. Rose, M. Albarran. 421-430 [doi]
• Design validation in hierarchical systemsPaul Losleben. 431-438 [doi]
• Assembly drawings and bills of material creating system (ADMS)Hiroyuki Mory. 439-448 [doi]