151 search results - page 15 / 31 » Processor Verification with hwBugHunt |
150
Voted
DSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
181
click to vote
SOFTVIS
2010
ACM
15 years 5 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
140
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
124
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
157
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...