Searching for "DIVA A Dynamic Approach to Microprocessor Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

DIVA: A Dynamic Approach to Microprocessor Verification
by Todd Austin — 2000 — Journal of Instruction-Level Parallelism
…. DIVA: A DYNAMIC APPROACH TO MICROPROCESSOR VERIFICATION In this paper, we introduce dynamic…
Cited by 16 (1 self) – Add To MetaCart

ARGUS DETECTS TRANSIENT AND PERMANENT ERRORS, WITH FAR LOWER IMPACT ON
by Albert Meixner, Michael E. Bauer, Daniel J. Sorin
….M. Austin, ‘‘DIVA: A Dynamic Approach to Microprocessor Verification,’’ J. Instruction-Level Parallelism…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB