Authors:
Provides a single-source reference to correct-by-construction SoC design
Focuses on system-level verification
Enables optimized design cycles, with techniques to reuse IP blocks reliably
Uses realistic SoC case studies to highlight the concepts introduced
Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA
Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Electrical and Computer Engineering, The University of Auckland, Auckland, New Zealand
Roopak Sinha, Parthasarathi Roop
-
Department of Computer Science, Iowa State University, Ames, USA
Samik Basu
Bibliographic Information
Book Title: Correct-by-Construction Approaches for SoC Design
Authors: Roopak Sinha, Parthasarathi Roop, Samik Basu
DOI: https://doi.org/10.1007/978-1-4614-7864-5
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media New York 2014
Hardcover ISBN: 978-1-4614-7863-8Published: 22 August 2013
Softcover ISBN: 978-1-4899-8639-9Published: 23 August 2015
eBook ISBN: 978-1-4614-7864-5Published: 23 August 2013
Edition Number: 1
Number of Pages: XXI, 144
Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation