2010 11th International Workshop on Microprocessor Test and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781612842875

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tutorial

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.9 ◽

2010 ◽

Download Full-text

A Fault Grading Methodology for Software-Based Self-Test Programs in Systems-on-Chip

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.16 ◽

2010 ◽

Author(s):

O. Ballan ◽

P. Bernardi ◽

G. Fontana ◽

M. Grosso ◽

E. Sanchez

Keyword(s):

Systems On Chip ◽

Self Test ◽

On Chip ◽

Fault Grading

Download Full-text

Bounded Model Checking of Incomplete Networks of Timed Automata

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.19 ◽

2010 ◽

Cited By ~ 5

Author(s):

Christian Miller ◽

Karina Gitina ◽

Christoph Scholl ◽

Bernd Becker

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.18 ◽

2010 ◽

Author(s):

Nathan Buchanan ◽

Hiren D. Patel

Keyword(s):

State Machines ◽

Design Framework ◽

Abstract State Machines

Download Full-text

Author Index

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.22 ◽

2010 ◽

Download Full-text

Publisher's Information

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.23 ◽

2010 ◽

Download Full-text

Workshop Organizing Committee

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.7 ◽

2010 ◽

Download Full-text

An Embedded Reachability Analyzer and Invariant Checker (ERAIC)

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.17 ◽

2010 ◽

Cited By ~ 4

Author(s):

O. Dahmoune ◽

R. de B. Johnston

Download Full-text

Acknowledgment

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.6 ◽

2010 ◽

Download Full-text

Cover Art

2010 11th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2010.24 ◽

2010 ◽

Keyword(s):

Cover Art

Download Full-text

2010 11th International Workshop on Microprocessor Test and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Tutorial

A Fault Grading Methodology for Software-Based Self-Test Programs in Systems-on-Chip

Bounded Model Checking of Incomplete Networks of Timed Automata

Towards a Multi-MoC Hardware/Software Co-design Framework Using Abstract State Machines

Author Index

Publisher's Information

Workshop Organizing Committee

An Embedded Reachability Analyzer and Invariant Checker (ERAIC)

Acknowledgment

Cover Art

2010 11th International Workshop on Microprocessor Test and Verification
Latest Publications