2645 search results - page 389 / 529 » time 2003 |
179
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider the path length in decision diagrams for multiple-valued functions. This is an important measure of a decision diagram, since this models the time needed to evaluate t...
178
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
— Rapid advancements in processor and networking technologies have led to the evolution of cluster and grid computing frameworks. These high-performance computing environments ex...
161
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
179
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
189
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...