1226 search results - page 139 / 246 » Designing systems-on-chip using cores |
114
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
121
click to vote
EUROSSC
2006
Springer
15 years 5 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
101
click to vote
ASPDAC
2005
ACM
15 years 3 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...
110
click to vote
JUCS
2008
15 years 1 months ago
2008
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...