Open access

Integration Verification in System on Chips Using Formal Techniques

Written By

Subir K Roy

Published: December 1st, 2009

DOI: 10.5772/7022

Chapter metrics overview

2,911 Chapter Downloads

View Full Metrics

Written By

Subir K Roy

Published: December 1st, 2009