3922 search results - page 500 / 785 » The IA-64 Architecture at Work |
174
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Device scaling such as reduced oxide thickness and high electric field has given rise to various reliability concerns. One such growing issue of concern is the degradation of PMOS...
159
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
163
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Interest in asynchronous circuit design is increasing due to its promise of efficient designs. The quiescent nature of asynchronous circuits allows them to remain in a stable stat...
184
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
200
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...