2778 search results - page 375 / 556 » Reuse Technique in Hardware Design |
163
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
200
Voted
ET
1998
15 years 6 months ago
1998
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...
188
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
179
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...
191
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...