Sciweavers

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
DAC
1998
ACM
16 years 1 months ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...
DAC
1998
ACM
16 years 1 months ago
Introducing Redundant Computations in a Behavior for Reducing BIST Resources
Ishwar Parulkar, Sandeep K. Gupta, Melvin A. Breue...
68
Voted
DAC
1998
ACM
16 years 1 months ago
Congestion Driven Quadratic Placement
Phiroze N. Parakh, Richard B. Brown, Karem A. Saka...
DAC
1998
ACM
16 years 1 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
16 years 1 months ago
Planning for Performance
Ralph H. J. M. Otten, Robert K. Brayton
77
Voted
DAC
1998
ACM
16 years 1 months ago
A Statistical Performance Simulation Methodology for VLSI Circuits
Michael Orshansky, James C. Chen, Chenming Hu