2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509008858

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Author Index

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV) ◽

10.1109/mtv.2015.23 ◽

2015 ◽

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

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

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

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

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV) ◽

10.1109/mtv.2015.9 ◽

2015 ◽

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

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Harnessing Nanoscale Device Properties for Hardware Security

Author Index

Corporate Sponsors

Acknowledgment

Preface

Automatic Bug Fixing

SoC Development and Prototype with VDK

A Topological Approach to Hardware Bug Triage

Table of Contents

Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance

Export Citation Format

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Harnessing Nanoscale Device Properties for Hardware Security

Author Index

Corporate Sponsors

Acknowledgment

Preface

Automatic Bug Fixing

SoC Development and Prototype with VDK

A Topological Approach to Hardware Bug Triage

Table of Contents

Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance

2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
Latest Publications