๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Correct-by-Construction Approaches for SoC Design

โœ Scribed by Roopak Sinha, Parthasarathi Roop, Samik Basu (auth.)

Publisher
Springer-Verlag New York
Year
2014
Tongue
English
Leaves
163
Edition
1
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components.

โœฆ Table of Contents

Front Matter....Pages i-xxi
System-on-a-Chip Design....Pages 1-10
The AMBA SOC Platform....Pages 11-23
Automatic Verification Using Model and Module Checking....Pages 25-54
Models for SoCs and Specifications....Pages 55-72
SoC Design Methodology....Pages 73-85
Automatic Protocol Conversion....Pages 87-106
Related Work and Outlook....Pages 107-119
Back Matter....Pages 121-144

โœฆ Subjects

Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation

๐Ÿ“œ SIMILAR VOLUMES

The Correctness-by-Construction Approach
๐Ÿ“ The Correctness-by-Construction Approach to Programming
โœ Derrick G. Kourie, Bruce W. Watson (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p><p>The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that an

The Correctness-by-Construction Approach
๐Ÿ“ The Correctness-by-Construction Approach to Programming
โœ Derrick G. Kourie, Bruce W. Watson (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p><p>The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that an

The correctness-by-construction approach
๐Ÿ“ The correctness-by-construction approach to programming
โœ Derrick G. Kourie, Bruce W. Watson (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 2012 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p><p>The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that an

Low-Power NoC for High-Performance SoC D
๐Ÿ“ Low-Power NoC for High-Performance SoC Design
โœ Hoi-Jun Yoo, Kangmin Lee, Jun Kyong Kim ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› CRC Press ๐ŸŒ English

Chip Design and Implementation from a Practical Viewpoint <p>Focusing on chip implementation, <b>Low-Power NoC for High-Performance SoC Design provides practical knowledge and real examples of how to use network on chip (NoC) in the design of system on chip (SoC). It discusses many architectural

Low-Power NoC for High-Performance SoC D
๐Ÿ“ Low-Power NoC for High-Performance SoC Design
โœ Hoi-Jun Yoo, Kangmin Lee, Jun Kyong Kim ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› CRC Press ๐ŸŒ English

Chip Design and Implementation from a Practical Viewpoint <p>Focusing on chip implementation, <b>Low-Power NoC for High-Performance SoC Design provides practical knowledge and real examples of how to use network on chip (NoC) in the design of system on chip (SoC). It discusses many architectural