IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > Microprocessor Test and Verifi ...

Microprocessor Test and Verification (MTV), 2011 12th International Workshop on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

Microprocessor Test and Verification (MTV), 2011 12th International Workshop on

Date 5-7 Dec. 2011

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

[Front cover]

[Title page i]

[Title page iii]

[Copyright notice]

Table of contents

Preface

Conference Committees

Reviewers

Acknowledgment

TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip

Achieving Glitch-Free Clock Domain Crossing Signals Using Formal Verification, Static Timing Analysis, and Sequential Equivalence Checking

Reusing of Properties after Discretization of Hybrid Automata

Overview on ATE Test and Debugging Methods for Asynchronous Circuits

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

A Test Method for Power Management of SoC-based Microprocessors

Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor

Model Checker to FPGA Prototype Commmunication Bottleneck Issue

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

Verification Tests for MCAPI

Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification

An Efficient Overlapping Event Generation Method for Symmetric System Testing

High Coverage Power Integrity Verification in PSO Domains Employing Distributed PSO Switches

Author Index

[Publishers information]

IEEE Account

Purchase Details

Profile Information

Need Help?