Open access

Integration Verification in System on Chips Using Formal Techniques

Written By

Subir K Roy

Published: 01 December 2009

DOI: 10.5772/7022

From the Edited Volume

Micro Electronic and Mechanical Systems

Edited by Kenichi Takahata

Chapter metrics overview

3,078 Chapter Downloads

View Full Metrics

Written By

Subir K Roy

Published: 01 December 2009