Overview
- 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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Authors and Affiliations
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-8
Softcover ISBN: 978-1-4899-8639-9
eBook ISBN: 978-1-4614-7864-5
Edition Number: 1
Number of Pages: XXI, 144
Topics: Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation