ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
Latest Publications
TOTAL DOCUMENTS
25
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Published By IEEE
9781509008858
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Author Index
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.23
◽
2015
◽
Download Full-text
Harnessing Nanoscale Device Properties for Hardware Security
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.18
◽
2015
◽
Author(s):
Bicky Shakya
◽
Fahim Rahman
◽
Mark Tehranipoor
◽
Domenic Forte
Keyword(s):
Hardware Security
◽
Nanoscale Device
◽
Device Properties
Download Full-text
Corporate Sponsors
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.8
◽
2015
◽
Keyword(s):
Corporate Sponsors
Download Full-text
Automatic Bug Fixing
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.21
◽
2015
◽
Author(s):
Daniel Hansson
Keyword(s):
Bug Fixing
Download Full-text
SoC Development and Prototype with VDK
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.11
◽
2015
◽
Cited By ~ 1
Author(s):
Taylor Holmes
◽
Andrew Passerelli
◽
John Connor
Download Full-text
Acknowledgment
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.5
◽
2015
◽
Download Full-text
Preface
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.4
◽
2015
◽
Download Full-text
Table of Contents
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.9
◽
2015
◽
Download Full-text
A Topological Approach to Hardware Bug Triage
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.10
◽
2015
◽
Cited By ~ 1
Author(s):
Rico Angell
◽
Ben Oztalay
◽
Andrew DeOrio
Keyword(s):
Topological Approach
Download Full-text
Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
◽
10.1109/mtv.2015.12
◽
2015
◽
Cited By ~ 1
Author(s):
Xiaolong Guo
◽
Raj Gautam Dutta
◽
Yier Jin
Keyword(s):
Formal Verification
◽
Security Assurance
◽
Verification Methods
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close