151 search results - page 7 / 31 » Processor Verification with hwBugHunt |
CAV
2001
Springer
14 years 2 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
AMAST
2008
Springer
14 years 28 days ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
MICRO
1999
IEEE
14 years 3 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
ASPDAC
2005
ACM
14 years 27 days ago
2005
ACM
In this paper, we present the power estimation methodologies for the development of a low-power security processor that contains significant amount of logic and memory. For the lo...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...