3507 search results - page 459 / 702 » Slicing for architectural analysis |
199
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Lowering power is one of the greatest challenges facing the IC industry today. We present a power-aware placement method that simultaneously performs (1) activity-based register c...
164
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
254
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
172
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
We present the design of Plurality,1 an interactive tagging system. Plurality's modular architecture allows users to automatically generate high-quality tags over Web content...
175
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
One of the main challenges for design in the presence of process variations is to cope with the uncertainties in delay and leakage power. In this paper, the influence of leakage r...