| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi.
Algebraic decision diagrams and their applications.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
 (0)
|
1993 |
|
|
Florin Balasa Balasa, Francky Catthoor, Hugo De Man.
Exact evaluation of memory size for multi-dimensional signal processing systems.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Bulent Basaran, Rob A. Rutenbar, L. Richard Carley.
Latchup-aware placement and parasitic-bounded routing of custom analog cells.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Mark Beardslee, Alberto L. Sangiovanni-Vincentelli.
An algorithm for improving partitions of pin-limited multi-chip systems.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Lawrence F. Arnstein, Donald E. Thomas.
A general consistency technique for increasing the controllability of high level synthesis tools.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng.
Efficient verification of determinate speed-independent circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Alauddin Alomary, Takeharu Nakata, Yoshimichi Honma, Masaharu Imai, Nobuyuki Hikichi.
An ASIP instruction set optimization algorithm with functional module sharing constraint.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Debashis Bhattacharya, Prathima Agrawal.
Boolean algebraic test generation using a distributed system.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
K. Olav ten Bosch, Pieter van der Wolf, Peter Bingley.
A flow-based user interface for efficient execution of the design cycle.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Daniel Brand.
Verification of large synthesized designs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli.
Modeling hierarchical combinational circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Timothy M. Burks, Karem A. Sakallah.
Min-max linear programming and the timing analysis of digital circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
X. Cai, H. Yie, P. Osterberg, J. Gilbert, Stephen D. Senturia, Jacob K. White.
A relaxation/multipole-accelerated scheme for self-consistent electromechanical analysis of complex 3-D microelectromechanical structures.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Robert J. Carragher, Chung-Kuan Cheng, Masahiro Fujita.
An efficient algorithm for the net matching problem.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Andrea Casotto.
Run-time requirement tracing.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Kamal Chaudhary, Akira Onozawa, Ernest S. Kuh.
A spacing algorithm for performance enhancement and cross-talk reduction.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Mi-Chang Chang, Jue-Hsien Chern, Ping Yang.
An accurate grid local truncation error for device simulation.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Chau-Shen Chen, Yu-Wen Tsay, TingTing Hwang, Allen C.-H. Wu, Youn-Long Lin.
Combining technology mapping and placement for delay-optimization in FPGA designs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Julie Chen, Andrew T. Yang.
Style: a technology-independent approach to statistical design.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Chien-In Henry Chen, Joel T. Yuen.
Logic partitioning to pseudo-exhaustive test for BIST design.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli.
Generalized constraint generation for analog circuit design.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Chih-Liang Eric Cheng, Ching-yen Ho.
SEFOP: a novel approach to data path module placement.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Eli Chiprout, Hansruedi Heeb, Michel S. Nakhla, Albert E. Ruehli.
Simulating 3-D retarded interconnect models using complex frequency hopping (CFH).
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Gwan S. Choi, Ravishankar K. Iyer, Daniel G. Saab.
Fault behavior dictionary for simulation of device-level transients.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Dipanwita Roy Chowdhury, Supratik Chakraborty, B. Vamsi, B. Pal Chaudhuri.
Cellular automata based synthesis of easily and fully testable FSMs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Weitong Chuang, Sachin S. Sapatnekar, Ibrahim N. Hajj.
A unified algorithm for gate sizing and clock skew optimization to minimize sequential circuit area.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Jason Cong, Yuzheng Ding.
Beyond the combinatorial limit in depth minimization for LUT-based FPGA designs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Jason Cong, Kwok-Shing Leung.
Optimal wiresizing under the distributed Elmore delay model.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Miguel R. Corazao, Marwan A. Khalaf, Lisa M. Guerra, Miodrag Potkonjak, Jan M. Rabaey.
Instruction set mapping for performance optimization.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Peter Dahlgren, Peter Lidén.
Efficient modeling of switch-level networks containing undetermined logic node states.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Anirudh Devgan, Ronald A. Rohrer.
Event driven adaptively controlled explicit simulation of integrated circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Sujit Dey, Miodrag Potkonjak, Rabindra K. Roy.
Exploiting hardware sharing in high-level synthesis for partial scan optimization.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Shantanu Dutt.
New faster Kernighan-Lin-type graph-partitioning algorithms.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Wolfgang Ecker, M. Hofmeister.
State look ahead technique for cycle optimization of interacting finite state Moore machines.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Luis Entrena, Kwang-Ting Cheng.
Sequential logic optimization by redundancy addition and removal.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Hiroshige Fujii, Goichi Ootomo, Chikahiro Hori.
Interleaving based variable ordering methods for ordered binary decision diagrams.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Dinesh D. Gaitonde, D. M. H. Walker.
Test quality and yield analysis using the DEFAM defect to fault mapper.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Tong Gao, C. L. Liu.
Minimum crosstalk channel routing.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Arjan J. van Genderen, N. P. van der Meijs.
Hierarchical extraction of 3D interconnect capacitances in large regular VLSI structures.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Werner Geurts, Francky Catthoor, Hugo De Man.
Quadratic zero-one programming based synthesis of application specific data paths.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Eric J. Golin, Annette C. Feng, Linus Huang, Eric Hughes.
A visual design environment.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Lisa M. Guerra, Miodrag Potkonjak, Jan M. Rabaey.
High level synthesis for reconfigurable datapath structures.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Aarti Gupta, Allan L. Fisher.
Representation and symbolic manipulation of linearly inductive Boolean functions.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Gary D. Hachtel, Fabio Somenzi.
A symbolic algorithm for maximum flow in 0-1 networks.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Haidar Harmanani, Christos A. Papachristou.
An improved method for RTL synthesis with testability tradeoffs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Ing-Jer Huang, Alvin M. Despain.
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Steve C.-Y. Huang, Marilyn Wolf.
Scheduling a minimum dependence in FSMs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello.
Practical applications of an efficient time separation of events algorithm.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Alok Jain, Randal E. Bryant.
Inverter minimization in multi-level logic networks.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Hyuk-Jae Jang, Barry M. Pangrle.
A grid-based approach for connectivity binding with geometric costs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Yuan-Long Jeang, Yu-Chin Hsu, Jhing-Fa Wang, Jau-Yien Lee.
High throughput pipelined data path synthesis by conserving the regularity of nested loops.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Alexander T. Ishii.
Retiming gated-clocks and precharged circuit structures.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Seiji Kajihara, Tetsuji Sumioka, Kozo Kinoshita.
Test generation for multiple faults based on parallel vector pair analysis.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Russell Kao, Mark Horowitz.
Piecewise linear models for Rsim.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Yasushi Koseko, Takuji Ogihara, Shinichi Murai.
Tri-state bus conflict checking method for ATPG using BDD.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Tilman Kolks, Bill Lin, Hugo De Man.
Sizing and verification of communication buffers for communicating processes.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
S. Y. Kim, Emre Tuncer, Rohini Gupta, Byron Krauter, T. Savarino, Dean P. Neikirk, Lawrence T. Pileggi.
An efficient methodology for extraction and simulation of transmission lines for application specific electronic modules.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Wolfgang Kunz.
HANNIBAL: an efficient tool for logic verification based on recursive learning.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
K. Kodandapani, Joel Grodstein, Antun Domic, Hervé J. Touati.
A simple algorithm for fanout optimization using high-performance buffer libraries.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula.
FGILP: an integer linear program solver based on function graphs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh.
Boolean factorization using multiple-valued minimization.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Hyung Ki Lee, Dong Sam Ha.
New methods of improving parallel fault simulation in synchronous sequential circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Yun Sik Lee, Peter M. Maurer.
Parallel multi-delay simulation.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Jaebum Lee, Eugene Shragowitz, David J. Poli.
Bounds on net lengths for high-speed PCB.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Paul E. R. Lippens, Jef L. van Meerbergen, Wim F. J. Verhaegh, Albert van der Werf.
Allocation of multiport memories for hierarchical data stream.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli.
Nyquist data converter testing and yield analysis using behavioral simulation.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Lung-Tien Liu, Minshine Shih, Nan-Chi Chou, Chung-Kuan Cheng, Walter H. Ku.
Performance-driven partitioning using retiming and replication.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Brian Lockyear, Carl Ebeling.
The practical application of retiming to the design of high-performance systems.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Mario A. Lopez, Ravi Janardan, Sartaj Sahni.
A fast algorithm for VLSI net extraction.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Kerry S. Lowe, P. Glenn Gulak.
Gate sizing and buffer insertion for optimizing performance in power constrained BiCMOS circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Christopher Michael, Christopher J. Abel, C. S. Teng.
A flexible statistical model for CAD of submicrometer analog CMOS integrated circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Sharad Malik.
Analysis of cyclic combinational circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Pradip Mandal, V. Visvanathan.
Macromodeling of the A.C. characteristics of CMOS Op-amps.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Raj S. Mitra, Biswaroop Guha, Anupam Basu.
Rapid prototyping of microprocessor-based systems.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Peter Marwedel.
Tree-based mapping of algorithms to predefined structures.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Meryem Marzouki, Marcelo Lubaszewski, Mohamed Hedi Touati.
Unifying test and diagnosis of interconnects and logic clusters in partial boundary scan boards.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Mehrdad Mojtahedi, Walter Geisselhardt.
New methods for parallel pattern fast fault simulation for synchronous sequential circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Dirk Möller, Janett Mohnke, Michael Weber.
Detection of symmetry of Boolean functions represented by ROBDDs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Ben Mathew, Daniel G. Saab.
Augmented partial reset.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
José C. Monteiro, Srinivas Devadas, Abhijit Ghosh.
Retiming sequential circuits for low power.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Vasily G. Moshnyaga, Hiroshi Mori, Hidetoshi Onodera, Keikichi Tamaru.
Layout-driven module selection for register-transfer synthesis of sub-micron ASIC's.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Robert N. Mayo, Hervé J. Touati.
Boolean matching for full-custom ECL gates.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Debaditya Mukherjee, Massoud Pedram, Melvin A. Breuer.
Merging multiple FSM controllers for DFT/BIST hardware.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.
Cube-packing and two-level minimization.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Naveena Nagi, Abhijit Chatterjee, Ashok Balivada, Jacob A. Abraham.
Fault-based automatic test generator for linear analog circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Sridhar Narayanan, Melvin A. Breuer.
Reconfigurable scan chains: a novel approach to reduce test application time.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima.
Breadth-first manipulation of very large binary-decision diagrams.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Takumi Okamoto, Masaki Ishikawa, Tomoyuki Fujita.
A new feed-through assignment algorithm based on a flow model.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Enric Pastor, Jordi Cortadella.
Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Massoud Pedram, Bahman S. Nobandegani, Bryan Preas.
Architecture and routability analysis for row-based FPGAs.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Irith Pomeranz, Sudhakar M. Reddy.
Test generation for path delay faults based on learning.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Irith Pomeranz, Sudhakar M. Reddy.
On diagnosis and correction of design errors.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Dhiraj K. Pradhan, Mitrajit Chatterjee, Savita Banerjee.
Buffer assignment for data driven architectures.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Kamlesh Rath, M. Esen Tuna, Steven D. Johnson.
Behavior tables: a basis for system representation and transformational system synthesis.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Mark W. Reichelt, Andrew Lumsdaine, Jacob K. White.
Accelerated waveform methods for parallel transient simulation of semiconductor devices.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Richard Rudell.
Dynamic variable ordering for ordered binary decision diagrams.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Elke A. Rundensteiner.
Design tool integration using object-oriented database views.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Paul G. Ryan, W. Kent Fuchs, Irith Pomeranz.
Fault dictionary compression and equivalence class computation for sequential circuits.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Sachin S. Sapatnekar, Pravin M. Vaidya, Steve M. Kang.
Convexity-based algorithms for design centering.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
|
|
Majid Sarrafzadeh.
Transforming an arbitrary floorplan into a sliceable one.
|
Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993 1993 |
(0)
|
1993 |
db/conf/iccad/iccad1993.html