Sciweavers

DAC
1998
ACM
14 years 9 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 9 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 9 months ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...
DAC
1998
ACM
14 years 9 months ago
Introducing Redundant Computations in a Behavior for Reducing BIST Resources
Ishwar Parulkar, Sandeep K. Gupta, Melvin A. Breue...
DAC
1998
ACM
14 years 9 months ago
Congestion Driven Quadratic Placement
Phiroze N. Parakh, Richard B. Brown, Karem A. Saka...
DAC
1998
ACM
14 years 9 months ago
Policy Optimization for Dynamic Power Management
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
Giuseppe A. Paleologo, Luca Benini, Alessandro Bog...
DAC
1998
ACM
14 years 9 months ago
Planning for Performance
Ralph H. J. M. Otten, Robert K. Brayton