share record
persistent URL:
Jason Cong , Yean-Yow Hwang : Structural Gate Decomposition for Depth-Optimal Technology Mapping in LUT-based FPGA Design. DAC 1996 : 726-729 export record
dblp key:
conf/dac/CortadellaKKLY96 share record
persistent URL:
Jordi Cortadella , Michael Kishinevsky , Alex Kondratyev , Luciano Lavagno , Alexandre Yakovlev : Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996 : 63-66 share record
persistent URL:
Olivier Coudert : On Solving Covering Problems. DAC 1996 : 197-202 share record
persistent URL:
Olivier Coudert , Ramsey W. Haddad , Srilatha Manne : New Algorithms for Gate Sizing: A Comparative Study. DAC 1996 : 734-739 share record
persistent URL:
Peter Dahlgren : Oscillation Control in Logic Simulation using Dynamic Dominance Grahps. DAC 1996 : 155-160 share record
persistent URL:
Florentin Dartu , Bogdan Tutuianu , Lawrence T. Pileggi : RC-Interconnect Macromodels for Timing Simulation. DAC 1996 : 544-547 share record
persistent URL:
Aurobindo Dasgupta , Ramesh Karri : Electromigration Reliability Enhancement via Bus Activity Distribution. DAC 1996 : 353-356 share record
persistent URL:
Aurobindo Dasgupta , Ramesh Karri : Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing. DAC 1996 : 819-824 share record
persistent URL:
Madhav P. Desai , Radenko Cvijetic , James Jensen : Sizing of Clock Distribution Networks for High Performance CPU Chips. DAC 1996 : 389-394 share record
persistent URL:
Madhav P. Desai , Yao-Tsung Yen : A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation. DAC 1996 : 125-130 share record
persistent URL:
Shantanu Dutt , Wenyong Deng : A Probability-Based Approach to VLSI Circuit Partitioning. DAC 1996 : 100-105 share record
persistent URL:
Hisakazu Edamatsu , Satoshi Ikawa , Katsuya Hasegawa : Design Methodologies for consumer-use video signal processing LSIs. DAC 1996 : 497-502 share record
persistent URL:
Ásgeir Th. Eiríksson : Integrating Formal Verification Methods with A Conventional Project Design Flow. DAC 1996 : 666-671 share record
persistent URL:
P. J. H. Elias , N. P. van der Meijs : Extracting Circuit Models for Large RC Interconnections that are Accurate up to a Predefined Signal Frequency. DAC 1996 : 764-769 share record
persistent URL:
Ehat Ercanli , Christos A. Papachristou : A Register File and Scheduling Model for Application Specific Processor Synthesis. DAC 1996 : 35-40 share record
persistent URL:
Fabrizio Ferrandi , Franco Fummi , Enrico Macii , Massimo Poncino , Donatella Sciuto : Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. DAC 1996 : 467-470 share record
persistent URL:
Tetsuya Fujimoto , Takashi Kambe : VLSI Design and System Level Verification for the Mini-Disc. DAC 1996 : 491-496 export record
dblp key:
conf/dac/GanapathyNJFWN96 share record
persistent URL:
Gopi Ganapathy , Ram Narayan , Glenn Jorden , Denzil Fernandez , Ming Wang , Jim Nishimura : Hardware Emulation for Functional Verification of K5. DAC 1996 : 315-318 share record
persistent URL:
Arjan J. van Genderen , N. P. van der Meijs : Using Articulation Nodes to Improve the Efficiency of Finite-Element based Resistance Extraction. DAC 1996 : 758-763 share record
persistent URL:
Laurence Goodby , Alex Orailoglu : Pseudorandom-Pattern Test Resistance in High-Performance DSP Datapaths. DAC 1996 : 813-818 share record
persistent URL:
Rajesh K. Gupta : Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems. DAC 1996 : 601-604 share record
persistent URL:
John W. Hagerman , Stephen W. Director : Improved Tool and Data Selection in Task Management. DAC 1996 : 181-184 share record
persistent URL:
Jeffery P. Hansen , Masatoshi Sekine : Synthesis by Spectral Translation Using Boolean Decision Diagrams. DAC 1996 : 248-253 share record
persistent URL:
Soha Hassoun , Carl Ebeling : Architectural Retiming: Pipelining Latency-Constrained Circuts. DAC 1996 : 708-713 share record
persistent URL:
Hiroyuki Higuchi , Yusuke Matsunaga : A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines. DAC 1996 : 463-466 share record
persistent URL:
Anoosh Hosseini , Dimitrios Mavroidis , Pavlos Konas : Code Generation and Analysis for the Functional Verification of Microprocessors. DAC 1996 : 305-310 share record
persistent URL:
Shi-Yu Huang , Kuang-Chien Chen , Kwang-Ting Cheng : Error Correction Based on Verification Techniques. DAC 1996 : 258-261 share record
persistent URL:
Shi-Yu Huang , Kuang-Chien Chen , Kwang-Ting Cheng , Tien-Chien Lee : Compact Vector Generation for Accurate Power Simulation. DAC 1996 : 161-164 share record
persistent URL:
Jos A. Huisken , F. Welten : FADIC: Architectural Synthesis applied in IC Design. DAC 1996 : 579-584 share record
persistent URL:
Robert C. Hutchins , Shankar Hemmady : How to Write Awk and Perl Scripts to Enable Your EDA Tools to Work Together. DAC 1996 : 409-414