22. DAC 1985:
Las Vegas,
Nevada,
USA
Hillel Ofek, Lawrence A. O'Neill (Eds.):
Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA.
ACM 1985, ISBN 0-8186-0635-5 BibTeX
- Tariq Samad, Stephen W. Director:
Towards a natural language interface for CAD.
2-8
Electronic Edition (ACM DL) BibTeX
- Alberto Di Janni, Margherita Italiano:
Unified user interface for a CAD system.
9-15
Electronic Edition (ACM DL) BibTeX
- Cyrus Bamji, Charles E. Hauck, Jonathan Allen:
A design by example regular structure generator.
16-22
Electronic Edition (ACM DL) BibTeX
- S. C. Hughes, D. B. Lewis, C. J. Rimkus:
A technique for distributed execution of design automation tools.
23-30
Electronic Edition (ACM DL) BibTeX
- Ellen J. Yoffa, Peter S. Hauge:
ACORN: a local customization approach to DCVS physical design.
32-38
Electronic Edition (ACM DL) BibTeX
- Tak-Kwong Ng, S. Lennart Johnsson:
Generation of layouts from MOS circuit schematics: a graph theoretic approach.
39-45
Electronic Edition (ACM DL) BibTeX
- Shigeo Noda, Hitoshi Yoshizawa, Etsuko Fukuda, Haruo Kato, Hiroshi Kawanishi, Takashi Fujii:
Automatic layout algorithms for function blocks of CMOS gate arrays.
46-52
Electronic Edition (ACM DL) BibTeX
- Gabriele Saucier, Ghislaine Thuau:
Systematic and optimized layout of MOS cells.
53-61
Electronic Edition (ACM DL) BibTeX
- C. Durward Rogers, Jonathan B. Rosenberg, Stephen W. Daniel:
MCNC's vertically integrated symbolic design system.
62-68
Electronic Edition (ACM DL) BibTeX
- George Entenman, Stephen W. Daniel:
A fully automatic hierarchical compactor.
69-75
Electronic Edition (ACM DL) BibTeX
- Phillip Smtih, Stephen W. Daniel:
The VIVID system approach to technology independence: the matster technology file system.
76-81
Electronic Edition (ACM DL) BibTeX
- Jonathan B. Rosenberg:
Auto-interactive schematics to layout translation.
82-87
Electronic Edition (ACM DL) BibTeX
- Al Lowenstein, Greg Winter:
Importance of standards (tutorial session).
88-93
Electronic Edition (ACM DL) BibTeX
- Roger J. Pachter:
Computer aided (CA) tools integration and related standards development in a multi-vendor universe (panel session).
94-95
Electronic Edition (ACM DL) BibTeX
- John A. Pierro, George F. Donnellan:
Mechanical design/analysis integration on Apollo workstations.
96-101
Electronic Edition (ACM DL) BibTeX
- Raj Abraham:
Custom microcomputers for CAD optimization software.
102-110
Electronic Edition (ACM DL) BibTeX
- Yehuda E. Kalay:
A database management approach to CAD/CAM systems integration.
111-116
Electronic Edition (ACM DL) BibTeX
- Malgorzata Marek-Sadowska:
Two-dimensional router for double layer layout.
117-123
Electronic Edition (ACM DL) BibTeX
- Michael Burstein, Mary N. Youssef:
Timing influenced layout design.
124-130
Electronic Edition (ACM DL) BibTeX
- J. N. Song, Y. K. Chen:
An algorithm for one and half layer channel routing.
131-136
Electronic Edition (ACM DL) BibTeX
- B. Hennion, P. Senn, D. Coquelle:
A new algorithm for third generation circuit simulators: the one-step relaxation method.
137-143
Electronic Edition (ACM DL) BibTeX
- Mark D. Matson:
Macromodeling of digital MOS VLSI Circuits.
141-151
Electronic Edition (ACM DL) BibTeX
- Michiaki Muraoka, Hirokazu Iida, Hideyuki Kikuchihara, Michio Murakami, Kazuyuki Hirakawa:
ACTAS: an accurate timing analysis system for VLSI.
152-158
Electronic Edition (ACM DL) BibTeX
- Cecelia Jankowski:
Engineering workstation applications to systems design (panel session): life above the IC.
159-160
Electronic Edition (ACM DL) BibTeX
- J. P. Simmons Jr.:
Early verification of prototype tooling for IC designs (tutorial).
161
Electronic Edition (ACM DL) BibTeX
- Steven T. Healey, Daniel D. Gajski:
Decomposition of logic networks into silicon.
162-168
Electronic Edition (ACM DL) BibTeX
- Christopher Rowen, John L. Hennessy:
SWAMI: a flexible logic implementation system.
169-175
Electronic Edition (ACM DL) BibTeX
- David E. Krekelberg, Gerald E. Sobelman, Chu S. Jhon:
Yet another silicon compiler.
176-182
Electronic Edition (ACM DL) BibTeX
- José Monteiro da Mata:
ALLENDE: a procedural language for the hierarchical specification of VLSI layouts.
183-189
Electronic Edition (ACM DL) BibTeX
- H. S. Fung, S. Hirschhorn, R. Kulkarni:
Design for testability in a silicon compilation environment.
190-196
Electronic Edition (ACM DL) BibTeX
- Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli:
PLATYPUS: a PLA test pattern generation tool.
197-203
Electronic Edition (ACM DL) BibTeX
- Hans-Joachim Wunderlich:
PROTEST: a tool for probabilistic testability analysis.
204-211
Electronic Edition (ACM DL) BibTeX
- Takuji Ogihara, Shuichi Saruyama, Shinichi Murai:
PATEGE: an automatic DC parametric test generation system for series gated ECL circuits.
212-218
Electronic Edition (ACM DL) BibTeX
- Prathima Agrawal, Frederick L. Cohen, Chet A. Palesko, Hung-Fai Stephen Law, Mark Miller, Mike Price, David W. Smith, Nicholas P. Van Brunt:
Workstations (panel discussion): a complete solution to the VLSI designer?
219-225
Electronic Edition (ACM DL) BibTeX
- Francine S. Frome:
Course, video, and manual dexterity (tutorial): tailoring training to CAD users.
226-231
Electronic Edition (ACM DL) BibTeX
- Timothy Blackman, Jeffrey Fox, Christopher Rosebrugh:
The Silc silicon compiler: language and features.
232-237
Electronic Edition (ACM DL) BibTeX
- F. Meshkinpour, Milos D. Ercegovac:
A functional language for description and design of digital systems: sequential constructs.
238-244
Electronic Edition (ACM DL) BibTeX
- Warren E. Cory:
Layla: a VLSI layout language.
245-251
Electronic Edition (ACM DL) BibTeX
- Thaddeus J. Kowalski, Donald E. Thomas:
The VLSI design automation assistant: what's in a knowledge base.
252-258
Electronic Edition (ACM DL) BibTeX
- Melvin A. Breuer, Xi-an Zhu:
A knowledge based system for selecting a test methodology for a PLA.
259-265
Electronic Edition (ACM DL) BibTeX
- Rostam Joobbani, Daniel P. Siewiorek:
WEAVER: a knowledge-based routing expert.
266-272
Electronic Edition (ACM DL) BibTeX
- Neil Bergmann:
Generalised CMOS-a technology independent CMOS IC design style.
273-278
Electronic Edition (ACM DL) BibTeX
- Kung-Chao Chu, Y. Edmund Lien:
Technology tracking for VLSI layout design tools.
279-285
Electronic Edition (ACM DL) BibTeX
- Walter S. Scott, John K. Ousterhout:
Magic's circuit extractor.
286-292
Electronic Edition (ACM DL) BibTeX
- Louis Scheffer, Ronny Soetarman:
Hierarchical analysis of IC artwork with user defined abstraction rules.
293-298
Electronic Edition (ACM DL) BibTeX
- George E. Bier, Andrew R. Pleszkun:
An algorithm for design rule checking on a multiprocessor.
299-304
Electronic Edition (ACM DL) BibTeX
- Erich Barke:
Resistance calculation from mask artwork data by finite element method.
305-311
Electronic Edition (ACM DL) BibTeX
- Thomas R. Smith:
A data architecture for an uncertain design and manufacturing environment.
312-318
Electronic Edition (ACM DL) BibTeX
- Andrzej J. Strojwas:
CMU-CAM system.
319-325
Electronic Edition (ACM DL) BibTeX
- Keith S. Reid-Green:
Cost-effective computer-aided manufacturing of prototype parts.
326-329
Electronic Edition (ACM DL) BibTeX
- Kai-Hsiung Chang, William G. Wee:
A knowledge based planning system for mechanical assembly usign robots.
330-336
Electronic Edition (ACM DL) BibTeX
- Susan L. Taylor, Roderic Beresford, Theodore Sabety:
Layout design-lessons from the Jedi designer (tutorial session).
337
Electronic Edition (ACM DL) BibTeX
- Winfried Hahn, Kristian Fischer:
MuSiC: an event-flow computer for fast simulation of digital systems.
338-344
Electronic Edition (ACM DL) BibTeX
- David M. Lewis:
A hardware engine for analogue mode simulation of MOS digital circuits.
345-351
Electronic Edition (ACM DL) BibTeX
- Patrick M. Hefferan, Robert J. Smith II, Val Burdick, Donald L. Nelson:
The STE-264 accelerated electronic CAD system.
352-358
Electronic Edition (ACM DL) BibTeX
- Philip M. Spira, Carl Hage:
Hardware acceleration of gate array layout.
359-366
Electronic Edition (ACM DL) BibTeX
- Jayanth V. Rajan, Donald E. Thomas:
Synthesis by delayed binding of decisions.
367-373
Electronic Edition (ACM DL) BibTeX
- Robert L. Blackburn, Donald E. Thomas:
Linking the behavioral and structural dominis of representation in a synthesis system.
374-380
Electronic Edition (ACM DL) BibTeX
- Kumar Ramayya, Anshul Kumar, Surendra Prasad:
An automated data path synthesizer for a canonic structure, implementable in VLSI.
381-387
Electronic Edition (ACM DL) BibTeX
- Anjali Arya, Anshul Kumar, V. V. Swaminathan, Amit Misra:
Automatic generation of digital system schematic diagrams.
388-395
Electronic Edition (ACM DL) BibTeX
- Y. Eric Cho:
A subjective review of compaction (tutorial session).
396-404
Electronic Edition (ACM DL) BibTeX
- Michael R. Wayne, Susan M. Braun:
Looking for Mr. "Turnkey".
405-409
Electronic Edition (ACM DL) BibTeX
- Marianne Winslett, Richard Berlin, Thomas H. Payne, Gio Wiederhold:
Relational and entity-relationship model databases and specialized design files in VLSI design.
410-416
Electronic Edition (ACM DL) BibTeX
- Connie U. Smith, Geoffrey A. Frank, John L. Cuadrado:
An architecture design and assessment system for software/hardware codesign.
417-424
Electronic Edition (ACM DL) BibTeX
- Steve Perry, Mike Mitchell, D. Pilling:
Yield analysis modeling.
425-428
Electronic Edition (ACM DL) BibTeX
- Takeshi Sakata, Aritoyo Kishimoto:
A circuit comparison system for bipolar linear LSI.
429-434
Electronic Edition (ACM DL) BibTeX
- Russel L. Steinweg, Susan J. Aguirre, Kerry Pierce, Scott Nance:
Silicon compilation of gate array bases.
435-438
Electronic Edition (ACM DL) BibTeX
- M. Iachponi, D. Vail, S. Bierly, A. Ignatowski:
A hierarchical gate array architecture and design methodology.
439-442
Electronic Edition (ACM DL) BibTeX
- C. P. Hsu, B. N. Tien, K. Chow, R. A. Perry, J. Tang:
ALPS2: a standard cell layout system for double-layer metal technology.
443-448
Electronic Edition (ACM DL) BibTeX
- Hart Anway, Greg Farnham, Rebecca Reid:
PLINT layout system for VLSI chips.
449-452
Electronic Edition (ACM DL) BibTeX
- Robert A. Walker, Donald E. Thomas:
A model of design representation and synthesis.
453-459
Electronic Edition (ACM DL) BibTeX
- N. Giambiasi, B. MacGee, R. L'Bath, L. Demians d'Archimbaud, C. Delorme, P. Roux:
An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons.
460-467
Electronic Edition (ACM DL) BibTeX
- James C. Althoff, Robert D. Shur:
A behavioral modeling system for cell compilers.
468-474
Electronic Edition (ACM DL) BibTeX
- Raul Camposano:
Synthesis techniques for digital systems design.
475-481
Electronic Edition (ACM DL) BibTeX
- Charles W. Rose, Marcus Buchnen, Yatin Trivedi:
Integrating stochastic performance analysis with system design tools.
482-488
Electronic Edition (ACM DL) BibTeX
- Nohbyung Park, Alice C. Parker:
Synthesis of optimal clocking schemes.
489-495
Electronic Edition (ACM DL) BibTeX
- Rob A. Rutenbar:
Future directions for DA machine research (panel session).
496-497
Electronic Edition (ACM DL) BibTeX
- Robert P. Collins, William J. Ketelhut:
The impact of technological advances on programmable controller s(tutorial session).
498-502
Electronic Edition (ACM DL) BibTeX
- Hidekazu Terai, Michiyoshi Hayase, Tokinori Kozawa:
A routing procedure for mixed array of custom macros and standard cells.
503-508
Electronic Edition (ACM DL) BibTeX
- A. C. Finch, K. J. Mackenzie, G. J. Balsdon, G. Symonds:
A method for gridless routing of printed circuit boards.
509-515
Electronic Edition (ACM DL) BibTeX
- Sangyong Han, Sartaj Sahni:
Layering algorithms for single row routing.
516-522
Electronic Edition (ACM DL) BibTeX
- Robert Leonard Joseph:
An expert systems approach to completing partially routed printed circuit boards.
523-528
Electronic Edition (ACM DL) BibTeX
- W. M. Budney, S. K. Holewa:
MIDAS: integrated CAD for total system design.
529-535
Electronic Edition (ACM DL) BibTeX
- Shigenobu Suzuki, Kazutoshi Takahashi, Takao Sugimoto, Mikio Kuwata:
Integrated design system for supercomputer SX-1/SX-2.
536-542
Electronic Edition (ACM DL) BibTeX
- A. F. Hutchings, R. J. Bonneau, W. M. Fisher:
Integrated VLSI CAD systems at Digital Equipment Corporation.
543-548
Electronic Edition (ACM DL) BibTeX
- N. J. Elias, R. J. Byrne, A. D. Close, R. M. McDermott:
The ITT VLSI design system: CAD integration in a multi-national environment.
549-553
Electronic Edition (ACM DL) BibTeX
- John Lowell:
Computer aided design for analog applications (panel session): an assessment.
554
Electronic Edition (ACM DL) BibTeX
- E. T. Grinthal:
Software quality assurance for CAD (tutorial).
555-561
Electronic Edition (ACM DL) BibTeX
- Christopher W. Pidgeon, Peter A. Freeman:
Development concerns for a software design quality expert system.
562-568
Electronic Edition (ACM DL) BibTeX
- Howard B. Schutzman:
ICHABOD: a data base manager for design automation applications.
569-576
Electronic Edition (ACM DL) BibTeX
- G. P. Barabino, G. S. Barabino, G. Bisio, M. Marchesi:
A module for improving data access and management in an integrated CAD environment.
577-583
Electronic Edition (ACM DL) BibTeX
- Gary B. Goates, Patrick M. Hefferan, Robert J. Smith II, Randy Harris:
Star's envoling design environment: a user's perspective on CAE.
584-590
Electronic Edition (ACM DL) BibTeX
- Natalie Royal, John Hunter, Irene Buchanan:
A case study in process independence.
591-596
Electronic Edition (ACM DL) BibTeX
- John P. Gray, John Hunter:
Portability in silicon CAE.
597-601
Electronic Edition (ACM DL) BibTeX
- Lu Sha, Robert W. Dutton:
An analytical algorithm for placement of arbitrarily sized rectangular blocks.
602-608
Electronic Edition (ACM DL) BibTeX
- John P. Blanks:
Near-optimal placement using a quadratic objective function.
609-615
Electronic Edition (ACM DL) BibTeX
- Gotaro Odawara, Kazuhiko Iijima, Kazutoshi Wakabayashi:
Knowledge-based placement technique for printed wiring boards.
616-622
Electronic Edition (ACM DL) BibTeX
- C. Roy, L.-P. Demers, Eduard Cerny, Jan Gecsei:
An object-oriented swicth-level simulator.
623-629
Electronic Edition (ACM DL) BibTeX
- Richard H. Lathrop, Robert S. Kirk:
An extensible object-oriented mixed-mod functional simulation system.
630-636
Electronic Edition (ACM DL) BibTeX
- V. Ashok, Roger L. Costello, P. Sadayappan:
Modeling switch-level simulation using data flow.
637-644
Electronic Edition (ACM DL) BibTeX
- Robert V. Zara, David R. Henke:
Building a layered database for design automation.
645-651
Electronic Edition (ACM DL) BibTeX
- Paul McLellan:
Effective data management for VLSI design.
652-657
Electronic Edition (ACM DL) BibTeX
- Eric Schell, M. Ray Mercer:
CADTOOLS: a CAD algorithm development system.
658-666
Electronic Edition (ACM DL) BibTeX
- Michel Dagenais, Vinod K. Agarwal, Nicholas C. Rumin:
The McBOOLE logic minimizer.
667-673
Electronic Edition (ACM DL) BibTeX
- Prathima Agrawal, Vishwani D. Agrawal, Nripendra N. Biswas:
Multiple output minimization.
674-680
Electronic Edition (ACM DL) BibTeX
- Kye S. Hedlund:
Electrical optimization of PLAs.
681-687
Electronic Edition (ACM DL) BibTeX
- Randal E. Bryant:
Symbolic manipulation of Boolean functions using a graphical representation.
688-694
Electronic Edition (ACM DL) BibTeX
- Yiwan Wong:
Hierarchical circuit verification.
695-701
Electronic Edition (ACM DL) BibTeX
- J. Doug Tygar, Ron Ellickson:
Efficient netlist comparison using hierarchy and randomization.
702-708
Electronic Edition (ACM DL) BibTeX
- Nandakumar N. Tendolkar:
Analysis of timing failures due to random AC defects in VLSI modules.
709-714
Electronic Edition (ACM DL) BibTeX
- Randal E. Bryant, Michael Dd. Schuster:
Performance evaluation of FMOSSIM, a concurrent switch-level fault simulator.
715-719
Electronic Edition (ACM DL) BibTeX
- Anil K. Gupta, James R. Armstrong:
Functional fault modeling and simulation for VLSI devices.
720-726
Electronic Edition (ACM DL) BibTeX
- John J. Granacki, David Knapp, Alice C. Parker:
The ADAM advanced design automation system: overview, planner and natural language interface.
727-730
Electronic Edition (ACM DL) BibTeX
- Gotaro Odawara, Masahiro Tomita, Ichiro Ogata:
Diagrammatic function description of microprocessor and data-flow processor.
731-734
Electronic Edition (ACM DL) BibTeX
- Edward H. Frank:
Switch-level simulation of VLSI using a special-purpose data-driven computer.
735-738
Electronic Edition (ACM DL) BibTeX
- Peter J. M. van Laarhoven, Emile H. L. Aarts, Marc Davio:
PHIPLA-a new algorithm for logic minimization.
739-743
Electronic Edition (ACM DL) BibTeX
- Y. S. Kuo, C. Chen, T. C. Hu:
A heuristic algorithm for PLA block folding.
744-747
Electronic Edition (ACM DL) BibTeX
- Surendra Nahar, Sartaj Sahni, Eugene Shragowitz:
Experiments with simulated annealing.
748-752
Electronic Edition (ACM DL) BibTeX
- Robert V. Zara, Kevin Rose, Ghulam Nurie, Harish Sarin:
An abstract machine data structure for non-procedural functional models.
753-756
Electronic Edition (ACM DL) BibTeX
- Vighneswara Row Mokkarala, Antony Fan, Ravi Apte:
A unified approach to simulation and timing verification at the functional level.
757-761
Electronic Edition (ACM DL) BibTeX
- Thomas J. Schaefer:
A transistor-level logic-with-timing simulator for MOS circuits.
762-765
Electronic Edition (ACM DL) BibTeX
- Yoshiyuki Koseki, Teruhiko Yamada:
PLAYER: a PLA design system for VLSI's.
766-769
Electronic Edition (ACM DL) BibTeX
- Robert Dwyer, Stephen Morris, Edward Bard, Daniel Green:
The integration of an advanced gate array router into a fully automated design system.
770-772
Electronic Edition (ACM DL) BibTeX
- Louise T. Lemaire:
GAMMA: a fast prototype design, build, and test process.
773-776
Electronic Edition (ACM DL) BibTeX
- Dwight D. Hill, John P. Fishburn, Mary Diane Palmer Leland:
Effective use of virtual grid compaction in macro-module generators.
777-780
Electronic Edition (ACM DL) BibTeX
- William H. Kao, Nader Fathi, Chia-Hao Lee:
Algorithms for automatic transistor sizing in CMOS digital circuits.
781-784
Electronic Edition (ACM DL) BibTeX
- Hiroshi Andou, Ichiro Yamamoto, Yuuko Mori, Yutaka Koike, Kimikatsu Shouji, Kazuyuki Hirakawa:
Automatic routing algorithm for VLSI.
785-788
Electronic Edition (ACM DL) BibTeX
- Stef van Vlierberghe, Jeff Rijmenants, Walter Heyns:
Symbolic hierarchical artwork generation system.
789-793
Electronic Edition (ACM DL) BibTeX
- Salim U. Chowdhury, Melvin A. Breuer:
The construction of minimal area power and ground nets for VLSI circuits.
794-797
Electronic Edition (ACM DL) BibTeX
- Fred W. Obermeier, Randy H. Katz:
PLA driver selection: an analytic approach.
798-802
Electronic Edition (ACM DL) BibTeX
- Semyon Shteingart, Andrew W. Nagle, John Grason:
RTG: automatic register level test generator.
803-807
Electronic Edition (ACM DL) BibTeX
- Andrzej Krasniewski, Alexander Albicki:
Simulation-free estimation of speed degradation in NMOS self-testing circuits for CAD applications.
808-811
Electronic Edition (ACM DL) BibTeX
- Masayuki Miyoshi, Yoshiharu Kazama, Osamu Tada, Yasuo Nagura, Nobutaka Amano:
Speed up techniques of logic simulation.
812-815
Electronic Edition (ACM DL) BibTeX
- Edward Chan:
Development of a timing analysis program for multiple clocked network.
816-819
Electronic Edition (ACM DL) BibTeX
- C. Delorme, P. Roux, L. Demians d'Archimbaud, N. Giambiasi, R. L'Bath, B. MacGee, R. Charroppin:
A functional partitioning expert system for test sequences generation.
820-824
Electronic Edition (ACM DL) BibTeX
- Madhukar K. Reddy, Sudhakar M. Reddy, Prathima Agrawal:
Transistor level test generation for MOS circuits.
825-828
Electronic Edition (ACM DL) BibTeX
- Beth W. Tucker:
Electronic CAD/CAM-is it revolution or evolution (tutorial session).
830-834
Electronic Edition (ACM DL) BibTeX
Copyright © Wed Jun 4 18:30:22 2008
by Michael Ley (ley@uni-trier.de)
