151 search results - page 3 / 31 » Processor Verification with hwBugHunt |
DAC
2007
ACM
15 years 2 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
117
click to vote
TCOS
2010
14 years 4 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
- The required processing performance of embedded processor core is getting higher and higher without increasing power consumption dramatically. In same time, large SoC design has ...
104
click to vote
VLSID
2000
IEEE
15 years 1 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...