Sciweavers

DAC
1998
ACM
14 years 11 months ago
A Multiprocessor DSP System Using PADDI-2
Roy A. Sutton, Vason P. Srini, Jan M. Rabaey
DAC
1998
ACM
14 years 11 months ago
Automated Composition of Hardware Components
James Smith, Giovanni De Micheli
DAC
1998
ACM
14 years 11 months ago
A Fast Hierarchical Algorithm for 3-D Capacitance Extraction
Weiping Shi, Jianguo Liu, Naveen Kakani, Tiejun Yu
DAC
1998
ACM
14 years 11 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...
DAC
1998
ACM
14 years 11 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...
DAC
1998
ACM
14 years 11 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
DAC
1998
ACM
14 years 11 months ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...