Sciweavers

DAC
1998
ACM
16 years 1 months ago
A Multiprocessor DSP System Using PADDI-2
Roy A. Sutton, Vason P. Srini, Jan M. Rabaey
63
Voted
DAC
1998
ACM
16 years 1 months ago
Framework Encapsulations: A New Approach to CAD Tool Interoperability
Peter R. Sutton, Stephen W. Director
DAC
1998
ACM
16 years 1 months ago
Automated Composition of Hardware Components
James Smith, Giovanni De Micheli
77
Voted
DAC
1998
ACM
16 years 1 months ago
A Fast Hierarchical Algorithm for 3-D Capacitance Extraction
Weiping Shi, Jianguo Liu, Naveen Kakani, Tiejun Yu
87
Voted
DAC
1998
ACM
16 years 1 months ago
A Programming Environment for the Design of Complex High Speed ASICs
A C++ based programming environment for the design of complex high speed ASICs is presented. The design of a 75 Kgate DECT transceiver is used as a driver example. Compact descrip...
Patrick Schaumont, Serge Vernalde, Luc Rijnders, M...
92
Voted
DAC
1998
ACM
16 years 1 months ago
Approximation and Decomposition of Binary Decision Diagrams
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple...
78
Voted
DAC
1998
ACM
16 years 1 months ago
Maximum Power Estimation Using the Limiting Distributions of Extreme Order Statistics
In this paper we present a statistical method for estimating the maximum power consumption in VLSI circuits. The method is based on the theory of extreme order statistics applied ...
Qinru Qiu, Qing Wu, Massoud Pedram
79
Voted
DAC
1998
ACM
16 years 1 months ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...