ICCAD A

127 papers

YearTitle / Authors
19891989 IEEE International Conference on Computer-Aided Design, ICCAD 1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical Papers
1989A Newton waveform relaxation algorithm for circuit simulation.
Donald J. Erdman, Donald J. Rose
1989A bounded delay race model.
Carl-Johan H. Seger
1989A clock distribution scheme for nonsymmetric VLSI circuits.
Parameswaran Ramanathan, Kang G. Shin
1989A custom cell generation system for double-metal CMOS technology.
P. Gee, Ibrahim N. Hajj, Sung-Mo Kang
1989A data management interface as part of the framework of an integrated VLSI-design system.
Ernst Siepmann
1989A data model and architecture for VLSI/CAD databases.
Anoop Singhal, Nishit P. Parikh, Debaprosad Dutt, Chi-Yuan Lo
1989A diagnosis method using pseudo-random vectors without intermediate signatures.
Robert C. Aitken, Vinod K. Agarwal
1989A layout defect-sensitivity extractor.
José Pineda de Gyvez, Jochen A. G. Jess
1989A logic synthesis system for VHDL design descriptions.
Thomas E. Dillinger, Kathy M. McCarthy, Thomas A. Mosher, Dale R. Neumann, Randall A. Schmidt
1989A manufacturing-oriented environment for synthesis of fabrication processes.
John S. Wenstrand, Hiroshi Iwai, Robert W. Dutton
1989A minimum separation algorithm for river routing with bounded number of jogs.
Andranik Mirzaian
1989A model for comparing synchronization strategies for parallel logic-level simulation.
Mary L. Bailey, Lawrence Snyder
1989A new approach to optimal cell synthesis.
Jan Madsen
1989A new approach to sea-of-gates global routing.
Tai-Ming Parng, Ren-Song Tsay
1989A new integer linear programming formulation for the scheduling problem in data path synthesis.
Jiahn-Humg Lee, Yu-Chin Hsu, Youn-Long Lin
1989A new methodology for the design centering of IC fabrication processes.
K. K. Low, Stephen W. Director
1989A novel reconfiguration scheme for 2-D processor arrays.
Phill-Kyu Rhee, Jung Hwan Kim, Hee Yong Youn
1989A powerful global router: based on Steiner min-max trees.
Charles C. Chiang, Majid Sarrafzadeh, Chak-Kuen Wong
1989A resource sharing and control synthesis method for conditional branches.
Kazutoshi Wakabayashi, Takeshi Yoshimura
1989A table look-up model using a 3-D isoparametric shape function with improved convergency.
Dae-Hyung Cho, Tae-Han Kim, Jeong-Taek Kong
1989A timing model for static CMOS gates.
Hau-Yung Chen, Santanu Dutta
1989AGAR: a single-layer router for gate array cell generation.
Mark A. Mostow
1989Accurate logic simulation in the presence of unknowns.
Susheel J. Chandra, Janak H. Patel
1989An O(n log n) algorithm for 1-D tile compaction.
Richard Anderson, Simon Kahan, Martine D. F. Schlag
1989An accurate timing model for fault simulation in MOS circuits.
Sungho Kim, Prithviraj Banerjee
1989An algorithm for hierarchical floorplan design.
D. F. Wong, Khe-Sing The
1989An approach for the yield enhancement of programmable gate arrays.
Vijay P. Kumar, Anton T. Dahbura, Fred Fischer, Patrick Juola
1989An efficient algorithm for layout compaction problem with symmetry constraints.
R. Okuda, Takashi Sato, Hidetoshi Onodera, K. Tamariu
1989An efficient channel routing algorithm for defective arrays.
Hee Yong Youn, Adit D. Singh
1989An efficient method for parametric yield optimization of MOS integrated circuits.
Tat-Kwan Yu, Sung-Mo Kang, Jerome Sacks, William J. Welch
1989An exact minimizer for Boolean relations.
Robert K. Brayton, Fabio Somenzi
1989An optimal transistor-chaining algorithm for CMOS cell layout.
Chi-Yi Hwang, Yung-Ching Hsieh, Youn-Long Lin, Yu-Chin Hsu
1989Analogue circuit optimization in a graphical environment.
Paul J. Rankin, J. M. Siemensma
1989Arithmetic and galois checksums.
Nirmal R. Saxena, Edward J. McCluskey
1989Automatic mixed-mode timing simulation.
David Overhauser, Ibrahim N. Hajj, Yi-Fan Hsu
1989Automating the diagnosis and the rectification of design errors with PRIAM.
Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon
1989Boolean minimization and algebraic factorization procedures for fully testable sequential machines.
Srinivas Devadas, Kurt Keutzer
1989C3DSTAR: a 3D wiring capacitance calculator.
James Janak, David D. Ling, Hao-Ming Huang
1989CETUS-a versatile custom cell synthesizer.
P. K. Sun
1989CLEO: a CMOS layout generator.
Antun Domic, Samuel Levitin, Nathan Phillips, Channeary Thai, Thomas R. Shiple, Dilip Bhavsar, Clint Bissel
1989CRACKER: a general area router based on stepwise reshaping.
Sabih H. Gerez, Otto E. Herrmann
1989Combining partitioning and global routing in sea-of-cells design.
Bernhard Korte, Hans Jürgen Prömel, Angelika Steger
1989Computation of bus current variance for reliability estimation of VLSI circuits.
Farid N. Najm, Ibrahim N. Hajj, Ping Yang
1989Consistency and observability invariance in multi-level logic synthesis.
Patrick C. McGeer, Robert K. Brayton
1989Constrained floorplan design for flexible blocks.
Sai-keung Dong, Jason Cong, C. L. Liu
1989Constructing the optimal rectilinear Steiner tree derivable from a minimum spanning tree.
Jan-Ming Ho, Gopalakrishnan Vijayan, Chak-Kuen Wong
1989Critical path issue in VLSI design.
Habib Youssef, Eugene Shragowitz, Lionel Bening
1989DEC's engineering to manufacturing BRIDGE system based on the D-BUS architecture.
Richard J. Bonneau
1989Definition and assignment of complex data-paths suited for high throughput applications.
Stefaan Note, Francky Catthoor, Jef L. van Meerbergen, Hugo De Man
1989Design of sequential machines for efficient test generation.
Kwang-Ting Cheng, Vishwani D. Agrawal
1989Dynamic redundancy identification in automatic test generation.
Miron Abramovici, David T. Miller, Rabindra K. Roy
1989Early matching of system requirements and package capabilities.
David P. LaPotin, Y.-H. Chen
1989Event-EMU: an event driven timing simulator for MOS VLSI circuits.
Bryan D. Ackland, Robert A. Clark
1989Exact critical path tracing fault simulation on massively parallel processor AAP2.
Yoshihiro Kitamura
1989FACT-a testability analysis methodology.
Thirumalai Sridhar
1989FANHAT: fanout oriented hierarchical automatic test generation system.
Hyoung B. Min, William A. Rogers, Hwei-Tsu Ann Luh
1989FDT-a design tool for switched capacitor filters.
Sattam Dasgupta, Mahesh Mehendale, V. R. Sudershan, Rajeev Jain, Nagaraj Subramanyam, James Hochschild
1989Fast incremental netlist compilation of hierarchical schematics.
Larry G. Jones
1989Fast test generation for sequential circuits.
Todd P. Kelsey, Kewal K. Saluja
1989Fast two-level logic minimizers for multi-level logic synthesis.
Hamid Savoj, Abdul A. Malik, Robert K. Brayton
1989Fault detection and location in reconfigurable VLSI arrays.
Kuochen Wang, Sy-Yen Kuo
1989Fault detection in a testable PLA with low overhead for production testing.
Yi-Nan Shen, Fabrizio Lombardi
1989Functional comparison of logic designs for VLSI circuits.
C. Leonard Berman, Louise Trevillyan
1989Global refinement for building block layout.
Ying-Meng Li, Pushan Tang
1989HAM-a hardware accelerator for multi-layer wire routing.
Raja Venkateswaran, Pinaki Mazumder
1989Hierarchical compiled event-driven logic simulation.
David M. Lewis
1989High performance test generation for accurate defect models in CMOS gate array technology.
Hector R. Sucar, Susheel J. Chandra, David J. Wharton
1989High-speed compiled-code simulation of transition faults.
Manfred Geilert
1989Inserting active delay elements to achieve wave pipelining.
Derek C. Wong, Giovanni De Micheli, Michael J. Flynn
1989Interconnection length estimation for optimized standard cell layouts.
Massoud Pedram, Bryan Preas
1989LADIES: an automatic layout system for analog LSI's.
Masato Mogaki, Naoki Kato, Youko Chikami, Naoyuki Yamada, Yasuhiro Kobayashi
1989Layout methods for digital optical computing.
Miles Murdocca
1989Layout-driven test generation.
Phil Nigh, Wojciech Maly
1989Manual rescheduling and incremental repair of register-level datapaths.
David W. Knapp
1989Mixed-mode simulation of compiled VHDL programs.
Ramón D. Acosta, Steven P. Smith, Jeff Larson
1989Modeling the driving-point characteristic of resistive interconnect for accurate delay estimation.
Peter R. O'Brien, Thomas L. Savarino
1989Modeling uncertainty in RC timing analysis.
Cheryl Harkness, Daniel P. Lopresti
1989Module assignment and interconnect sharing in register-transfer synthesis of pipelined data paths.
Nohbyung Park, Fadi J. Kurdahi
1989Multi-level logic optimization using binary decision diagrams.
Yusuke Matsunaga, Masahiro Fujita
1989Multi-terrain partitioning and floor-planning for data-path chip (microprocessor) layout.
Wing K. Luk, Alvar A. Dean, John W. Mathews
1989New ATPG techniques for logic optimization.
Reily M. Jacoby, P. Moceyunas, Hyunwoo Cho, Gary D. Hachtel
1989On optimal extraction of combinational logic and don't care sets from hardware description languages.
Glenn Colón-Bonet, Eric M. Schwarz, D. G. Bostick, Gary D. Hachtel, Michael R. Lightner
1989On properties of algebraic transformation and the multifault testability of multilevel logic.
Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison
1989On the computation of the ranges of detected delay fault sizes.
Ankan K. Pramanick, Sudhakar M. Reddy
1989Optimal granularity of test generation in a distributed system.
Hideo Fujiwara, Tomoo Inoue
1989Optimal layout via Boolean satisfiability.
Srinivas Devadas
1989Optimal wafer probe testing and diagnosis of k-out-of-n structures.
Ming-Feng Chang, Weiping Shi, W. Kent Fuchs
1989Optimum and heuristic algorithms for finite state machine decomposition and partitioning.
Pranav Ashar, Srinivas Devadas, A. Richard Newton
1989PACE2: an improved parallel VLSI extractor with parameter extraction.
Krishna P. Belkhale, Prithviraj Banerjee
1989PGS and PLUCGS-two new matrix solution techniques for general circuit simulation.
Richard Burch, Kartikeya Mayaram, Jue-Hsien Chern, Ping Yang, Paul F. Cox
1989PLA decomposition with generalized decoders.
Seiyang Yang, Maciej J. Ciesielski
1989Piecewise approximate circuit simulation.
Chandramouli Visweswariah, Ronald A. Rohrer
1989Pin assignment with global routing.
Jason Cong
1989Portable parallel logic and fault simulation.
Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham
1989Practicality of state-machine verification of speed-independent circuits.
Steven M. Nowick, David L. Dill
1989Restricted symbolic evaluation is fast and useful.
J. Lawrence Carter, Barry K. Rosen, Gordon L. Smith, Vijay Pitchumani
1989Routing using a pyramid data structure.
Youn-Long Lin, Yu-Chin Hsu, Fur-Shing Tsai
1989SLIP: a software environment for system level interactive partitioning.
Mark Beardslee, Chuck Kring, Rajeev Murgai, Hamid Savoj, Robert K. Brayton, A. Richard Newton
1989SPECS simulation validation with efficient transient sensitivity computation.
Tuyen V. Nguyen, Peter Feldmann, Stephen W. Director, Ronald A. Rohrer
1989SYLON-DREAM: a multi-level network synthesizer.
Kuang-Chien Chen, Saburo Muroga
1989Scheduling and hardware sharing in pipelined data paths.
Ki Soo Hwang, Albert E. Casavant, Ching-Tang Chang, Manuel A. d'Abreu
1989Specification and verification of VLSI systems.
Asher Wilk, Amir Pnueli
1989State assignment for initializable synthesis (gate level analysis).
Kwang-Ting Cheng, Vishwani D. Agrawal
1989State assignment for multilevel logic using dynamic literal estimation.
Michael Bolotski, Daniel Camporese, Rod Barman
1989Statistical bipolar circuit design using MSTAT.
Nicolas Salamina, Mark R. Rencher
1989Structure optimization in logic schematic generation.
Tsung D. Lee, Lawrence P. McNamee
1989Switch-level VHDL descriptions.
Alec G. Stanculescu, Andy S. Tsay, Alex N. D. Zamfirescu, D. L. Perry
1989Synthesis of address generators.
Douglas M. Grant, Peter B. Denyer, I. Finlay
1989Synthesis of delay fault testable combinational logic.
Kaushik Roy, Jacob A. Abraham, Kaushik De, Stephen L. Lusky
1989TIGER: testability insertion guidance expert system.
Magdy S. Abadir
1989Test generation for highly sequential circuits.
Abhijit Ghosh, Srinivas Devadas, A. Richard Newton
1989The EVE VLSI information management environment.
Hamideh Afsarmanesh, Esther Brotoatmodjo, Kwang June Byeon, Alice C. Parker
1989The Stickizer: a layout to symbolic converter.
Jean-Claude Dufourd
1989The critical path for multiple faults.
Samy Makar, Edward J. McCluskey
1989Thermal analysis in SPICE.
Rao Prakash Pokala, Dileep A. Divekar
1989Timing driven placement.
Malgorzata Marek-Sadowska, Shen Lin
1989Timing models in VAL/VHDL.
Larry M. Augustin
1989Towards efficient hierarchical designs by ratio cut partitioning.
Yen-Chuen Wei, Chung-Kuan Cheng
1989Translating concurrent programs into delay-insensitive circuits.
Erik Brunvand, Robert F. Sproull
1989Tree-height minimization in pipelined architectures.
Richard I. Hartley, Albert E. Casavant
1989Two-dimensional compaction for placement refinement.
Xiao-Ming Xiong
1989Uninterpreted modeling using the VHSIC hardware description language (VHDL).
F. T. Hady, James H. Aylor, Ronald D. Williams, Ronald Waxman
1989VHDL modeling for analog-digital hardware designs (VHSIS hardware description language).
Balsha R. Stanisic, Mark W. Brown
1989Waveform relaxation for transient simulation of two-dimensional MOS devices.
Mark W. Reichelt, Jacob K. White, Jonathan Allen
1989WireLisp: combining graphics and procedures in a circuit specification language.
Carl Ebeling, Zhanbing Wu
1989Yoda: a framework for the conceptual design VLSI systems.
Allen M. Dewey, Stephen W. Director