6111 search results - page 646 / 1223 » Time, Hardware, and Uniformity |
211
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
Due to false paths and multi-cycle paths in a circuit, using only topological delay to determine the clock period could be too conservative. In this paper, we address the timing a...
200
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
191
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
182
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basi...
172
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more att...