Searching...
Advanced Search
M
MTV
2008
2008 Ninth International Workshop on Microprocessor Test and Verification
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2008 Ninth International Workshop on Microprocessor Test and Verification
Austin, Texas
December 08-December 10
ISBN: 978-0-7695-3581-4
Table of Contents
Papers
[Front cover]
(PDF)
pp. C1
ABSTRACT
PDF
[Copyright notice]
(PDF)
pp. iv
ABSTRACT
PDF
Table of contents
(PDF)
pp. v-vi
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
Preface
(PDF)
pp. vii
ABSTRACT
PDF
Committees
(PDF)
pp. viii-ix
ABSTRACT
PDF
Acknowledgment
(PDF)
pp. x
ABSTRACT
PDF
Vertical Reuse Strategy for Testbench Components Supporting Memory Consistency Checking of an SMP-Capable AMD64 Processor
(Abstract)
Joseph W. Lyles Jr.
pp. 3-6
ABSTRACT
PDF
PURCHASE ARTICLE: $19
[Publisher's information]
(PDF)
pp. 110
ABSTRACT
PDF
Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution
(Abstract)
Alan Hunter
Andrew Piziali
Avi Ziv
Kelly Larson
Shankar Hemmady
pp. 7-13
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Testing Memory Models
(Abstract)
William W. Collier
pp. 14-17
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A New Methodology for the Test of SoCs and for Analyzing Elusive Failures
(Abstract)
Alexander Weiss
Christian Hochberger
pp. 18-23
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Preparing Rearchitected Designs for Sequential Equivalence Checking
(Abstract)
Mark Nodine
pp. 27-32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking
(Abstract)
Lynn C.-L. Chang
Charles H.-P. Wen
pp. 33-38
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Enhancing Sequential LEC Using a Cumulative Verification Methodology
(Abstract)
Nathan Sheeley
Nicolas Pena
Irfan Waheed
Mark Nodine
pp. 39-42
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Abstraction as a Practical Debugging Tool
(Abstract)
Sandip Ray
pp. 45-48
ABSTRACT
PDF
PURCHASE ARTICLE: $19
BackSpace: Moving Towards Reality
(Abstract)
Flavio M. De Paula
Marcel Gort
Alan J. Hu
Steven J. E. Wilton
pp. 49-54
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Power Management Verification
(Abstract)
Ryan Ritesh M. Pinto
pp. 57-60
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Applying Verification Collaterals for Accurate Power Estimation
(Abstract)
Sumit Ahuja
Deepak A. Mathaikutty
Sandeep Shukla
pp. 61-66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Tutorial: SoC Power Management Verification and Testing Issues
(Abstract)
Bhanu Kapoor
J. Marc Edwards
Shankar Hemmady
Shireesh Verma
Kaushik Roy
pp. 67-72
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Enhancing Verification Efficiency via Dynamically Focused, Selective and Intrusive Transactions
(Abstract)
Thinh Ngo
pp. 75-80
ABSTRACT
PDF
PURCHASE ARTICLE: $19
AMD64 Processor Front-End Verification (at Unit-Level Testbench) with Instruction Set Simulator
(Abstract)
K. Murale
S. Hildebrandt
P. Bojsen
A. Urzua
pp. 81-87
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow
(Abstract)
Ulrich Kühne
Daniel Große
Rolf Drechsler
pp. 88-93
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Hierarchy Communication Channel in Transaction-Level Hardware/Software Co-emulation System
(Abstract)
Y. B. Liao
P. Li
A. W. Ruan
Y. W. Wang
W. C. Li
W. Li
pp. 94-99
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Deterministic Methodology for Identifying Functionally Untestable Path-Delay Faults in Microprocessor Cores
(Abstract)
P. Bernardi
M. Grosso
E. Sanchez
M. Sonza Reorda
pp. 103-108
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 109
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
