Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE

0769520456

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tuning the VSIDS decision heuristic for bounded model checking

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250266 ◽

2004 ◽

Author(s):

O. Shacham ◽

E. Zarpas

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Fault diagnosis and logic debugging using Boolean satisfiability

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250264 ◽

2004 ◽

Author(s):

A. Veneris

Keyword(s):

Fault Diagnosis ◽

Boolean Satisfiability

Download Full-text

Modeling IP responses in test case generation for systems-on-chip verification

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250256 ◽

2004 ◽

Author(s):

M. Bose ◽

M.H. Nodine ◽

W.R. Jurasz ◽

V. Zavadsky ◽

A. Chodavadia ◽

...

Keyword(s):

Test Case Generation ◽

Test Case ◽

Systems On Chip ◽

Download Full-text

DeepTrans - a model-based approach to functional verification of address translation mechanisms

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250255 ◽

2004 ◽

Author(s):

A. Adir ◽

R. Emek ◽

Y. Katz ◽

A. Koyfman

Keyword(s):

Functional Verification ◽

Model Based ◽

Address Translation

Download Full-text

Heuristic backtracking algorithms for SAT

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250265 ◽

2004 ◽

Author(s):

A. Bhalla ◽

I. Lynce ◽

J.T. de Sousa ◽

J. Marques-Silva

Download Full-text

A robust and scalable technique for the constraints solving problem in high-level verification

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250269 ◽

2004 ◽

Author(s):

M.A. Iyer

Keyword(s):

Constraints Solving ◽

Download Full-text

A methodology for validating manufacturing test vector suites for custom designed scan-based circuits

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250260 ◽

2004 ◽

Author(s):

Jayanta Bhadra ◽

Narayanan Krishnamurthy ◽

Magdy Abadir

Keyword(s):

Test Vector ◽

Manufacturing Test

Download Full-text

Energy awareness through software optimisation as a performance estimate case study of the MC68HC908GP32 microcontroller

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250271 ◽

2004 ◽

Author(s):

J. Oliver ◽

O. Mocanu ◽

C. Ferrer

Keyword(s):

Energy Awareness ◽

Performance Estimate ◽

Download Full-text

A methodology for validation of microprocessors using equivalence checking

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250267 ◽

2004 ◽

Author(s):

P. Mishra ◽

N. Dutt

Keyword(s):

Equivalence Checking

Download Full-text

Systematic abstractions of microprocessor RTL models to enhance simulation efficiency

Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions ◽

10.1109/mtv.2003.1250270 ◽

2004 ◽

Author(s):

D. Bhaduri ◽

M. Chandra ◽

H. Patel ◽

Shekhar Sharad ◽

S. Suhaib

Keyword(s):

Simulation Efficiency

Download Full-text