2012 13th International Workshop on Microprocessor Test and Verification (MTV)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769548777, 9781467344418

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deterministic ATPG for Low Capture Power Testing

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.14 ◽

2012 ◽

Cited By ~ 2

Author(s):

Lung-Jen Lee ◽

Chia-Cheng He ◽

Wang-Dauh Tseng

Keyword(s):

Power Testing

Download Full-text

Localization of Bugs in Processor Designs Using zamiaCAD Framework

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.20 ◽

2012 ◽

Author(s):

Anton Tepurov ◽

Valentin Tihhomirov ◽

Maksim Jenihhin ◽

Jaan Raik ◽

Gunter Bartsch ◽

...

Keyword(s):

Processor Designs

Download Full-text

Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.19 ◽

2012 ◽

Cited By ~ 4

Author(s):

Luka Charvat ◽

Ale Smrcka ◽

Toma Vojnar

Download Full-text

[Publisher's information]

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.25 ◽

2012 ◽

Download Full-text

Author index

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.24 ◽

2012 ◽

Download Full-text

Conference Committees

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.5 ◽

2012 ◽

Keyword(s):

Conference Committees

Download Full-text

[Title page iii]

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.2 ◽

2012 ◽

Keyword(s):

Title Page

Download Full-text

Preface

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.4 ◽

2012 ◽

Download Full-text

Case Study: Verification Framework of Samsung Reconfigurable Processor

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.11 ◽

2012 ◽

Cited By ~ 4

Author(s):

Y. Cho ◽

S. Jeong ◽

J. Jeong ◽

H. Shim ◽

Y. Han ◽

...

Keyword(s):

Reconfigurable Processor

Download Full-text

[Title page i]

2012 13th International Workshop on Microprocessor Test and Verification (MTV) ◽

10.1109/mtv.2012.1 ◽

2012 ◽

Keyword(s):

Title Page

Download Full-text

2012 13th International Workshop on Microprocessor Test and Verification (MTV)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Deterministic ATPG for Low Capture Power Testing

Localization of Bugs in Processor Designs Using zamiaCAD Framework

Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description

[Publisher's information]

Author index

Conference Committees

[Title page iii]

Preface

Case Study: Verification Framework of Samsung Reconfigurable Processor

[Title page i]

2012 13th International Workshop on Microprocessor Test and Verification (MTV)
Latest Publications