151 search results - page 1 / 31 » Processor Verification with hwBugHunt |
54
Voted
ISQED
2008
IEEE
15 years 4 months ago
2008
IEEE
DAC
2005
ACM
15 years 1 days ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
VLSID
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
116
click to vote
DAC
1996
ACM
15 years 2 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
DAC
2005
ACM
15 years 1 days ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...