ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2012 13th International Workshop on Microprocessor Test and Verification (MTV)
Latest Publications
TOTAL DOCUMENTS
26
(FIVE YEARS 0)
H-INDEX
2
(FIVE YEARS 0)
Published By IEEE
9780769548777, 9781467344418
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
Preface
2012 13th International Workshop on Microprocessor Test and Verification (MTV)
◽
10.1109/mtv.2012.4
◽
2012
◽
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
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
On the Reuse of RTL IPs for SysML Model Generation
2012 13th International Workshop on Microprocessor Test and Verification (MTV)
◽
10.1109/mtv.2012.10
◽
2012
◽
Cited By ~ 1
Author(s):
Nicola Bombieri
◽
Emad Samuel Malki Ebeid
◽
Franco Fummi
◽
Michele Lora
Keyword(s):
Model Generation
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close