


default search action
12th DAC 1975: Boston, Massachusetts, USA
- Robert B. Hitchcock Sr., Donald J. Humcke, Stephen A. Szygenda:

Proceedings of the 12th Design Automation Conference, DAC '75, Boston, Massachusetts, USA, June 23-25, 1975. ACM 1975 - William M. van Cleemput, R. F. Allum, James G. Linders:

On the status of design automation in canada. 1-7 - Wilfried Rottmann:

An integrated system for computer design. 8-14 - Ingmar Höglund, L. Fransson, A. A. Almen, Bengt Magnhagen, Eskil Kjelkerud, Owe Thessén:

Design automation of electronics in Sweden. 15-22 - P. Ciompi, Luca Simoncini, Marco Tomljanovich, Giorgio Valle:

State of the art and trends in Design Automation in Italy. 23-31 - Luigi Gilli, Francesco Olla:

A new algebraic procedure for the simulation of large digital networks. 32-41 - Edward W. Thompson, Robert F. Bridge:

A module interface specification language. 42-49 - Nitta P. Dooner, Janice R. Lourie:

The application software engineering tool. 50-61 - Nancy F. Bern:

John Hancock's experience with productivity techniques. 62-68 - S. Peter de Jong, Moshé M. Zloof:

Application design within the system for business automation (SBA). 69-76 - G. Blain, A. Labarthe, J.-C. Rault:

The system bal: a technique for spreading the use of CAD techniques within an industrial environment. 77-84 - Cliff W. Hemming Jr., John M. Hemphill:

Digital logic simulation models and evolving technology. 85-94 - Paul Kozak, Herman K. Gummel, Basant R. Chawla:

Operational features of an MOS timing simulator. 95-101 - Paul Losleben:

Computer aided LSI circuit design: A relationship between topology and performance. 102-104 - Edward W. Thompson, Stephen A. Szygenda:

Three levels of accuracy for the simulation of different fault types in digital systems. 105-113 - Shigehiro Funatsu, Nobuo Wakatsuki, Toshihiro Arima:

Test generation systems in Japan. 114-122 - I. Alleva, M. G. Corti, R. Galimberti, F. Pescarolo:

A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processor. 123-133 - A. Giugliano, F. Bosisio:

Present and future on P.C.B. layout design automation system at SIT-Siemens. 134-143 - Francesca Albertini, Alberto Ascagni, P. Jabes, Alberto Stefanini:

Integrated automation program (I.A.P.) for an electronic switching system. 144-151 - Martin J. Welt:

NOMAD: A printed wiring board layout system. 152-161 - Charles F. Shupe:

Automatic component placement in the nomad system. 162-172 - Neil R. Quinn Jr.:

The placement problem as viewed from the physics of classical mechanics. 173-178 - René Jacquart, Philippe Régnier, François-Régis Valette, Jack Foisseau:

Current trends in the development of integrated general purpose CAD systems. 180-188 - W. Jean Sherman:

Program function test definition using a three-value simulator. 189-194 - Edward W. Thompson, N. Billawala:

The software engineering technique of data hiding as applied to multi-level model implementation of logical devices in digital simulation. 195-201 - Tze-Thong Chien, Saul Serben, William A. Taylor, Paolo Rolando:

A computer-aided minimum cost transfer machine layout design. 202-209 - François Prunet, Denis Floutier, J. M. Dumas:

Computer aided design of industrial control systems. 210-219 - Daniel E. Whitney:

Practical results with CADSYS. 220-223 - Václav Rajlich:

A CAD system for unified hardware-software design. 224-230 - Günter Enderle, Ernst G. Schlechtendahl:

The CAD-system REGENT. 231-240 - Tohru Moto-Oka, Tadashi Kurachi, Tsutomu Shiino, Masakatsu Sugimoto:

Logic design system in Japan. 241-250 - P. A. Arneberg, Einar J. Aas:

Design automation in norway. 251-256 - Glenn R. Case:

A statistical method for test sequence evaluation. 257-260 - Donald M. Schuler, Ernst G. Ulrich, Thomas E. Baker, Susan P. Bryant:

Random test generation using concurrent logic simulation. 261-267 - Lubomyr M. Zobniw:

Real time diagnosis using single pin probe. 268-285 - Philip S. Wilcox, W. J. L. McCready:

An emulator for an automatic test system. 286-289 - John L. Fike:

Predicting fault detectability in combinational circuits - a new design tool? 290-295 - Judith G. Brinsfield, S. R. Tarrant:

Computer aids for multilayer printed wiring board design. 296-305 - John C. Foster:

Prerouting analysis programs. 306-310 - G. J. Miron, S. R. Tarrant:

The automatic printed wire routing system of BACKIS. 311-316 - Peter L. Ciampi:

A system for solution of the placement problem. 317-323 - R. J. Brennan:

An algorithm for automatic line routing on Schematic Drawings. 324-330 - Eric Teicholz:

The computer in the space planning process. 331-344 - Hideo Matsuka, Toshihiro Kawai, Sakae Uno:

Integrated Designer's Activity Support System for Architecture. 345-354 - J. Kirk Robertson:

Computer Aided Design in D. P. W. 355-360 - Douglas C. Schmidt, Larry E. Druffel:

An iterative algorithm for placement and assignment of integrated circuits. 361-368 - Tadakatsu Ishiga, Tokinori Kozawa, Shoji Sato:

A logic partitioning procedure by interchanging clusters. 369-377 - Hans-Joachim Gröger:

A new approach to structural partitioning of computer logic. 378-383 - Hitoshi Yoshizawa, Hiroshi Kawanishi, K. Kani:

A heuristic procedure for ordering MOS arrays. 384-393 - John C. Foster:

The evolution of an integrated data base. 394-398 - A. J. Korenjak, A. H. Teger:

An integrated CAD data base system. 399-406 - Giorgio Valle:

Relational data handling techniques in integrated circuit mask layout procedures. 407-413 - Henry S. Baird, Y. Eric Cho:

An artwork design verification system. 414-420 - Charles W. Rose, M. Albarran:

Modeling and design description of hierarchical hardware/software systems. 421-430 - Paul Losleben:

Design validation in hierarchical systems. 431-438 - Hiroyuki Mory:

Assembly drawings and bills of material creating system (ADMS). 439-448

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














