2005 Sixth International Workshop on Microprocessor Test and Verification
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE

0769526276

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Study of Architecture Description Languages from a Model-based Perspective

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.2 ◽

2005 ◽

Author(s):

Wei Qin ◽

Sharad Malik

Keyword(s):

Model Based ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages

Download Full-text

On SAT-based Bounded Invariant Checking of Blackbox Designs

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.16 ◽

2005 ◽

Author(s):

Marc Herbstritt ◽

Bernd Becker

Download Full-text

Post-Verification Debugging of Hierarchical Designs

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.18 ◽

2005 ◽

Author(s):

Moayad Ali ◽

Sean Safarpour ◽

Andreas Veneris ◽

Magdy Abadir ◽

Rolf Drechsler

Download Full-text

PaMira - A Parallel SAT Solver with Knowledge Sharing

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.17 ◽

2005 ◽

Author(s):

Tobias Schubert ◽

Matthew Lewis ◽

Bernd Becker

Keyword(s):

Knowledge Sharing ◽

Download Full-text

Automated Extraction of Structural Information from SystemC-based IP for Validation

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.8 ◽

2005 ◽

Author(s):

David Berner ◽

Hiren Patel ◽

Deepak Mathaikutty ◽

Sandeep Shukla

Keyword(s):

Structural Information ◽

Automated Extraction

Download Full-text

Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.19 ◽

2005 ◽

Author(s):

Soohong Kim

Download Full-text

Sixth International Workshop on Microprocessor Test and Verification - Cover

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.26 ◽

2005 ◽

Keyword(s):

International Workshop ◽

Sixth International Workshop ◽

Sixth International

Download Full-text

Simulation Data Mining for Functional Test Pattern Justification

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.24 ◽

2005 ◽

Author(s):

Charles Wen ◽

Li-c. Wang

Keyword(s):

Data Mining ◽

Test Pattern ◽

Functional Test ◽

Simulation Data

Download Full-text

An Introduction to the Plasma Language

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.5 ◽

2005 ◽

Author(s):

Brian Kahne ◽

Aseem Gupta ◽

Peter Wilson ◽

Nikil Dutt

Download Full-text

A Pseudo-Deterministic Functional ATPG based on EFSM Traversing

2005 Sixth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2005.1 ◽

2005 ◽

Author(s):

G. Di Guglielmo ◽

F. Fummi ◽

C. Marconcini ◽

G. Pravadelli

Download Full-text