Searching...
Advanced Search
M
MTV
2010
2010 11th International Workshop on Microprocessor Test and Verification
This Publication
Digital Library
Advanced Search
This Publication
Purchase Instant Conference Download
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2010 11th International Workshop on Microprocessor Test and Verification
Austin, Texas USA
December 13-December 15
ISBN: 978-0-7695-4354-3
Table of Contents
Papers
Acknowledgment
(PDF)
pp. viii
ABSTRACT
PDF
[Front cover]
(PDF)
pp. C1
ABSTRACT
PDF
Tutorial
(PDF)
pp. xii
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
[Copyright notice]
(PDF)
pp. iv
ABSTRACT
PDF
Table of contents
(PDF)
pp. v-vi
ABSTRACT
PDF
Preface
(PDF)
pp. vii
ABSTRACT
PDF
Workshop Organizing Committee
(PDF)
pp. ix-x
ABSTRACT
PDF
Reviewers - MTV 2010
(PDF)
pp. xi
ABSTRACT
PDF
Towards Unifying Localization and Explanation for Automated Debugging
(Abstract)
Görschwin Fey
André Sülflow
Rolf Drechsler
pp. 3-8
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Automated Framework for Correction and Debug of PSL Assertions
(Abstract)
Brian Keng
Andreas Veneris
Sean Safarpour
pp. 9-12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Efficient Event Generation Method for Testing a SOC with Multiple Processing Elements and Associated Peripherals
(Abstract)
Devraj Kallappa Bakchowde
Nanda Kishore A. S.
pp. 15-18
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Schedulability Analysis for MultiCore Global Scheduling with Model Checking
(Abstract)
Wei Sheng
Yanyan Gao
Li Xi
Xuehai Zhou
pp. 21-26
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Enhanced Strategy for Functional Stress Pattern Generation for System-on-Chip Reliability Characterization
(Abstract)
M. de Carvalho
P. Bernardi
E. Sanchez
M. Sonza Reorda
pp. 29-34
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Automatic Fault Localization for SystemC TLM Designs
(Abstract)
Hoang M. Le
Daniel Große
Rolf Drechsler
pp. 35-40
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Fault Grading Methodology for Software-Based Self-Test Programs in Systems-on-Chip
(Abstract)
O. Ballan
P. Bernardi
G. Fontana
M. Grosso
E. Sanchez
pp. 43-46
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Embedded Reachability Analyzer and Invariant Checker (ERAIC)
(Abstract)
O. Dahmoune
R. de B. Johnston
pp. 47-50
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines
(Abstract)
Nathan Buchanan
Hiren D. Patel
pp. 53-58
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Bounded Model Checking of Incomplete Networks of Timed Automata
(Abstract)
Christian Miller
Karina Gitina
Christoph Scholl
Bernd Becker
pp. 61-66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Test Generation for CMP Designs
(Abstract)
Padmaraj Singh
David L. Landis
pp. 67-70
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Using Graphics Processing Units for Logic Simulation of Electronic Designs
(Abstract)
Alper Sen
Baris Aksanli
Murat Bozkurt
pp. 73-76
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 77
ABSTRACT
PDF
[Publisher's information]
(PDF)
pp. 78
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
