InTech uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Engineering » Electrical and Electronic Engineering » "Micro Electronic and Mechanical Systems", book edited by Kenichi Takahata, ISBN 978-953-307-027-8, Published: December 1, 2009 under CC BY-NC-SA 3.0 license. © The Author(s).

Chapter 23

Integration Verification in System on Chips Using Formal Techniques

By Subir K Roy
DOI: 10.5772/7022