default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st DAC 1984: Albuquerque, New Mexico, USA
- Patricia H. Lambert, Hillel Ofek, Lawrence A. O'Neill, Pat O. Pistilli, Paul Losleben, J. Daniel Nash, Dennis W. Shaklee, Bryan T. Preas, Harvey N. Lerman:
Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984. ACM/IEEE 1984, ISBN 0-8186-0542-1 - Masato Kawai, John P. Hayes:
An experimental MOS fault simulation program CSASIM. 2-9 - Chin-Fu Chen, Chi-Yuan Lo, Hao N. Nham, Prasad Subramaniam:
The second generation motis mixed-mode simulator. 10-17 - Sunil K. Jain, Vishwani D. Agrawal:
STAFAN: An alternative to fault simulation. 18-23 - Mahesh H. Doshi, Roderick B. Sullivan, Donald M. Schuler:
THEMIS logic simulator - a mix mode, multi-level, hierarchical, interactive digital circuit simulator. 24-31 - Guy Dupenloup:
A wire routing scheme for double-layer cell arrays. 32-37 - Takeshi Yoshimura:
An efficient channel router. 38-44 - Gary W. Clow:
A global routing algorithm for general cells. 45-51 - Charles H. Ng:
A symbolic-interconnect router for custom IC design. 52-58 - Pedro Veiga, Mário Lança:
HARPA: A hierarchical multi-level hardware description language. 59-65 - W. H. Evans, Jean-Claude Ballegeer, Nguyen H. Duyet:
ADL: An algorithmic design language for integrated circuit synthesis. 66-72 - Gotaro Odawara, Jun Sato, Masahiro Tomita:
A symbolic functional description language. 73-80 - Eric Slutz, Glen Okita, Jeanne Wiseman:
Block description language (BDL): A structural description language. 81-85 - Daniel D. Gajski:
Silicon compilers and expert systems for VLSI. 86-87 - Frederick Hinchliffe II, R. V. Alessi, J. Bunik, P. Catapano, M. Kubota, R. H. Dean, E. Dorsey, M. Leddell:
Workshop introduction to gate array placement and routing packages. 89 - Kung-Chao Chu, Ramautar Sharma:
A technology independent MOS multiplier generator. 90-97 - Patrick A. D. Powell, Mohamed I. Elmasry:
The icewater language and interpreter. 98-102 - Chidchanok Lursinsap, Daniel Gajski:
Cell compilation with constraints. 103-108 - George D. M. Ross:
Efficient implementation of experimental design systems. 109 - Martin Hardwick:
Extending the relational database data model for design applications. 110-116 - Lee A. Hollaar, Brent E. Nelson, Tony M. Carter, Raymond A. Lorie:
The structure and operation of a relational database system in a cell-oriented integrated circuit design system. 117-125 - Christopher Kingsley:
A hiererachical, error-tolerant compactor. 126-132 - Alfred E. Dunlop, Vishwani D. Agrawal, David N. Deutsch, M. F. Jukl, Patrick Kozak, Manfred Wiesel:
Chip layout optimization using critical path weighting. 133-136 - Hajimu Mori:
Interactive compaction router for VLSI layout. 137-143 - Paul W. Horstmann, Edward P. Stabler:
Computer aided design (CAD) using logic programming. 144-151 - John K. Ousterhout, Gordon T. Hamachi, Robert N. Mayo, Walter S. Scott, George S. Taylor:
Magic: A VLSI layout system. 152-159 - George S. Taylor, John K. Ousterhout:
Magic's incremental design-rule checker. 160-165 - Walter S. Scott, John K. Ousterhout:
Plowing: Interactive stretching and compaction in magic. 166-172 - Gordon T. Hamachi, John K. Ousterhout:
A switchbox router with obstacle avoidance. 173-179 - Magdy S. Abadir, Hassan K. Reghbati:
Test generation for LSI: A case study. 180-195 - Mark G. Karpovsky, Rodney Van Meter:
An approach to the testing of microprocessors. 196-202 - Subrata Dasgupta, M. C. Graf, Robert A. Rasmussen, Ron G. Walther, Tom W. Williams:
Chip partitioning aid: A design technique for partitionability and testability in VLSI. 203-208 - Erwin Trischler:
An integrated design for testability and automatic test pattern generation system: An overview. 209-215 - Ralph K. Cavin III:
Introduction to the SRC design sciences program. 216-217 - R. Smith:
Basic turorial layout tools - what really is there. 219 - Gerard H. van der Heiden, Etienne Grandjean:
Ergonomic studies in computer aided design. 220-227 - Masahiko Kawamura, Haruo Takagi, Kanji Hirabayashi:
Functional verification of memory circuits from mask artwork data. 228-234 - P. T. Chapman, K. Clark Jr.:
The scan line approach to design rules checking: Computational experiences. 235-241 - Rajiv Kane, Sartaj Sahni:
A systolic design rule checker. 243-250 - George J. Milne:
A model for hardware description and verification. 251-257 - R. Alali, C. Durante, J. J. Mercier:
A model for non interpreted structures of logical systems. 258-264 - Karl J. Lieberherr:
Towards a standard hardware description language. 265-272 - Curtis H. Parks:
IGES as an interchange format for integrated circuit design. 273-274 - Barry Jackson:
A designing system for multi-family housing. 275-281 - Lloyd Wilkins:
Module design verification system. 282-287 - Lynne A. Price:
Studying the mouse for CAD systems. 288-293 - Mikhail Lotvin, Belinda Juran, Reeni Goldin:
Amoeba: A symbolic VLSI layout system. 294-300 - William H. Kao, Mohammad H. Movahed-Ezazi, Mark L. Sabiers:
ARIES: A workstation based, schematic driven system for circuit design. 301-307 - Jean-Pierre Dussault, Chi-Chang Liaw, Michael M. Tong:
A high level synthesis tool for MOS chip design. 308-314 - Chia-Jeng Tseng, Daniel P. Siewiorek:
Emerald: A bus style designer. 315-321 - T. Shinsha, T. Kubo, M. Hikosaka, K. Akiyama, Koichiro Ishihara:
Polaris: Polarity propagation algorithm for combinational logic synthesis. 322-328 - Alice C. Parker, Fadi J. Kurdahi, Mitch J. Mlinar:
A general methodology for synthesis and verification of register-transfer designs. 329-335 - M. E. Glazier, Anthony P. Ambler:
Ultimate: A hardware logic simulation engine. 336-342 - Manuel A. d'Abreu, K. L. Cheong, C. T. Flanagan:
Oracle - a simulator for Bipolar and MOS IC design. 343-349 - Jeffrey T. Deutsch, A. Richard Newton:
A multiprocessor implementation of relaxation-based electrical circuit simulation. 350-357 - Daniel Etiemble, V. Adeline, Nguyen H. Duyet, J. C. Ballegeer:
Micro-computer oriented algorithms for delay evaluation of MOS gates. 358-364 - John C. Foster:
A unified CAD system for electronic design. 365-369 - Herbert Y. Chang, Richard N. Talmadge:
Engineering design aspects. 370-373 - Charles W. Rosenthal:
Physical design and manufacturing information aspects aspects of the AT & T bell laboratories CAD system. 374-383 - John Colton, Frank E. Swiatek, D. H. Edwards:
Users view. 384 - A. Zingale, F. Kohn, F. Lynch, D. Kalbarsh:
Workshop the semi-custom revolution: How to thrive or survive. 385 - Frederick Hinchliffe II:
Commercial gate array physical design automation packages. 386-387 - Rachel R. Chen, Yoji Kajitani:
The channel expansion problem in layout design. 388-391 - Bill D. Richard:
A standard cell initial placement strategy. 392-398 - Michael Palczewski:
Performance of algorithms for initial placement. 399-404 - John Alan Roach:
The rectangle placement language. 405-411 - Louis I. Steinberg, Tom M. Mitchell:
A knowledge based approach to VLSI CAD the redesign system. 412-418 - Van E. Kelly:
The CRITTER system: Automated critiquing of digital circuit designs. 419-425 - James L. Lewandowski, C. L. Liu:
A branch and bound algorithm for optimal pla folding. 426-433 - M. J. Meyer, Prathima Agrawal, R. G. Pfister:
A VLSI FSM design system. 434-440 - Theodore Sabety, David Elliot Shaw, Brian Mathies:
The semi-automatic generation of processing element control paths for highly parallel machines. 441-446 - Vincent J. Freund Jr.:
Managing a large volume of design/manufacturing/test data in a chip and module factory. 447-451 - W. J. Guillaume, A. Kurylo:
MINUPROX - an advanced proximity correction technique for the IBM EL-2 electron beam tool. 452-453 - H. D. Schnurmann, L. J. Vidunas, R. M. Peters:
An automated system for testing LSI memory chips. 454-458 - Stephen Nachtsheim:
The Intel design automation system. 459-465 - Kirk Sherhart, Mark Vershel, Judy Owen:
The engineering design environment. 466-472 - Kit Tham, Rob Willoner, David Wimp:
Functional design verification by multi-level simulation. 473-478 - Jerry Mar, You-Pang Wei:
Performance verification of circuits. 479-483 - Todd J. Wagner:
Hierarchical layout verification. 484-489 - Catherine Bellon, Raoul Velazco:
Taking into account asynchronous signals in functional test of complex circuits. 490-496 - Gabriele Saucier, Catherine Bellon:
VLSI test expertise system using a control flow model. 497-503 - Sudhakar M. Reddy, Vishwani D. Agrawal, Sunil K. Jain:
A gate level model for CMOS combinational logic circuits with application to fault detection. 504-509 - Karl J. Lieberherr:
Parameterized random testing. 510-516 - Stephen Y. H. Su, Tonysheng Lin:
Functional testing techniques for digital LSI/VLSI systems. 517-528 - Lance A. Glasser, Lennox Hoyte:
Delay and power optimization in VLSI circuits. 529-535 - Aart J. de Geus, J. B. Reed, M. Rekhson, G. Wikle:
IDA: Interconnect delay analysis for integrated circuits. 536-541 - John K. Ousterhout:
Switch-level delay models for digital MOS VLSI. 542-548 - Tsuyoshi Takahashi, Satoshi Kojima, Osamu Yamashiro, Kazuhiko Eguchi, Hideki Fukuda:
An MOS digital network model on a modified thevenin equivalent for logic simulation. 549-555 - Al Dewey:
The VHSIC hardware description language (VHDL) program. 556-557 - Ann R. Lanfri:
Phled45: An enhanced version of caesar supporting 45° geometries. 558-564 - Masaru Ozaki, Miho Watanabe, Morio Kakinuma, Mikio Ikeda, Koji Sato:
MGX: An integrated symbolic layout system for VLSI. 572-579 - K. Anderson, R. Powell:
UTMC's LSI CAD system - highland. 580-586 - Peter Marwedel:
The mimola design system: Tools for the design of digital processors. 587-593 - C. L. Wardle, Charles R. Watson, C. A. Wilson, J. Craig Mudge, Bradley J. Nelson:
A declarative design approach for combining macrocells by directed placement and constructive routing. 594-601 - Lawrence Snyder:
A model for university, industry and government cooperation. 602-603 - J. Scott:
Tutorial - mechanical workstation software computer aided engineering in the mechanical design process. 605 - Guy D. Haas:
Computervision's direction in workstation technology. 606-609 - F. Luellau, T. Hoepken, Erich Barke:
A technology independent block extraction algorithm. 610-615 - Steven Paul McCormick:
EXCL: A circuit extractor for IC designs. 616-623 - J. L. Kors, M. Israel:
An interactive electrical graph extractor. 624-628 - Jinglun Zhang, Renhua Wang:
Some consideration on the data model of geometric data bases. 629-633 - John R. Dixon, Melvin K. Simmons, Paul R. Cohen:
An architecture for application of artificial intelligence to design. 634-640 - Anthony S. Wojcik, Joseph Kljaich Jr., Nagendra C. E. Srinivas:
A formal design verification system based on an automated reasoning system. 641-647 - Ram Banin:
Hardware accelerators in the design automation environment. 648 - Anthony Zingale:
The semi-custom revolution: How to thrive or survive. 649-650 - Lev A. Markov, Jeffrey R. Fox, John H. Blank:
Optimization techniques for two-dimensional placement. 652-654 - Krzysztof Kozminski, Edwin Kinnen:
An algorithm for finding a rectangular dual of a planar graph for use in area planning for VLSI integrated circuits. 655-656 - Bou Nin Tien, B. S. Ting, J. Cheam, Kenneth S. K. Chow, Scott C. Evans:
GALA - an automatic layout system for high density CMOS gate arrays. 657-662 - Sany M. Leinwand, Yen-Tai Lai:
An algorithm for building rectangular floor-plans. 663-664 - Prakash Rao, R. Ramnarayan, Gerhard Zimmermann:
Spider, a chip planner for ISL technology. 665-666 - Tokinori Kozawa, Chihei Miura, Hidekazu Terai:
Combine and top down block placement algorithm for hierarchical logic VLSI layout. 667-669 - John P. Blanks:
Initial placement of gate arrays using least-squares methods. 670-671 - Jack A. Hudson, John A. Wisniewski, Randy C. Peters:
Module positioning algorithms for rectilinear macrocell assemblies. 672-675 - Vijay K. Raj, Barry M. Pangrle, Daniel D. Gajski:
Microprocessor synthesis. 676-678 - G. Persky, L. V. Tran:
Topological routing of multi-bit data buses. 679-682 - John D. Crawford:
An electronic design interchange format. 683-685 - R. A. Kriete, R. K. Nettleton:
A VLSI design methodology based on parametric macro cells. 686-688 - Antonio Martínez, Scott Nance:
Methodology for compiler generated silicon structures. 689-691 - Randy H. Katz, Shlomo Weiss:
Design transaction management. 692-693 - V. Ashok, Walter Lee McKnight, Jayashree Ramanathan:
Uniform support for information handling and problem solving required by the VLSI design process. 694-696 - Stephen Trimberger:
VTIcompose - a powerful graphical chip assembly tool. 697-698 - Nripendra N. Biswas:
Computer aided minimization procedure for boolean functions. 699-702 - Andrzej Wieclawski, Marek A. Perkowski:
Optimization of negative gate networks realized in weinberger-LIKF layout in a boolean level silicon compiler. 703-704 - Chu S. Jhon, Robert M. Keller:
Deadlock analysis in the design of data-flow circuits. 705-707 - Ola A. Marvik:
A method for IC layout verification. 708-709 - Sarma Sastry, Alice C. Parker:
On the relation between wire length distributions and placement of logic on master slice ICs. 710-711
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.
last updated on 2024-09-23 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
