259 search results - page 42 / 52 » Using Transformations and Verification in Circuit Design |
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
99
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
An essential step toward the development of an intelligent substation is to provide self-diagnosing capability at the equipment level. Transformers, circuit breakers and other sub...
95
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose an adaptive low-power bus encoding algorithm based on weighted code mapping (WCM) and the delayed bus technique. The WCM algorithm transforms an original...
102
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
127
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...