788 search results - page 48 / 158 » Design and use of a system-level specification and verificat... |
143
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
174
click to vote
VLSID
2000
IEEE
15 years 9 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
190
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
206
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
177
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...