151 search results - page 18 / 31 » Processor Verification with hwBugHunt |
127
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Concentration of design effort for current single-chip Commercial-Off-The-Shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary ...
118
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
226
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
110
click to vote
ASYNC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
132
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...