2011 12th International Workshop on Microprocessor Test and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457721014, 9780769545943

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preface

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.4 ◽

2011 ◽

Download Full-text

Overview on ATE Test and Debugging Methods for Asynchronous Circuits

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.12 ◽

2011 ◽

Author(s):

Christoph Wolf ◽

Steffen Zeidler ◽

Milos Krstic ◽

Rolf Kraemer

Keyword(s):

Asynchronous Circuits

Download Full-text

Conference Committees

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.5 ◽

2011 ◽

Keyword(s):

Conference Committees

Download Full-text

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.8 ◽

2011 ◽

Download Full-text

A Unified Formal Framework for Analyzing Functional and Speed-path Properties

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.17 ◽

2011 ◽

Cited By ~ 2

Author(s):

Oswaldo Olivo ◽

Sandip Ray ◽

Jayanta Bhadra ◽

Vivekananda Vedula

Keyword(s):

Formal Framework ◽

Path Properties

Download Full-text

Author Index

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.22 ◽

2011 ◽

Download Full-text

Reviewers

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.6 ◽

2011 ◽

Download Full-text

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.13 ◽

2011 ◽

Cited By ~ 1

Author(s):

Christian Miller ◽

Karina Gitina ◽

Bernd Becker

Keyword(s):

Model Checking ◽

Real Time ◽

Bounded Model Checking ◽

Real Time Systems ◽

Time Systems

Download Full-text

Acknowledgment

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.7 ◽

2011 ◽

Download Full-text

[Front cover]

2011 12th International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2011.24 ◽

2011 ◽

Keyword(s):

Front Cover

Download Full-text

2011 12th International Workshop on Microprocessor Test and Verification
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Preface

Overview on ATE Test and Debugging Methods for Asynchronous Circuits

Conference Committees

Table of Contents

A Unified Formal Framework for Analyzing Functional and Speed-path Properties

Author Index

Reviewers

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas

Acknowledgment

[Front cover]

Export Citation Format

2011 12th International Workshop on Microprocessor Test and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Preface

Overview on ATE Test and Debugging Methods for Asynchronous Circuits

Conference Committees

Table of Contents

A Unified Formal Framework for Analyzing Functional and Speed-path Properties

Author Index

Reviewers

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas

Acknowledgment

[Front cover]

2011 12th International Workshop on Microprocessor Test and Verification
Latest Publications