SIGN IN
SIGN UP
High-level design verification of microprocessors via error modeling
Full Text:
Pdf
Buy this Article
Authors:
D. Van Campenhout
University of Michigan, Ann Arbor
H. Al-Asaad
University of Michigan, Ann Arbor
J. P. Hayes
University of Michigan, Ann Arbor
T. Mudge
University of Michigan, Ann Arbor
R. B. Brown
University of Michigan, Ann Arbor
1998 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 16
· Downloads (cumulative): 462
· Citation Count: 15
Published in:
· Journal
ACM Transactions on Design Automation of Electronic Systems (TODAES)
TODAES Homepage
archive
Volume 3 Issue 4, Oct. 1998
Pages 581 - 599
ACM
New York, NY
, USA
table of contents
doi>
10.1145/296333.296347
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
design aids
design errors
design verification
error modeling
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder