TY  - BOOK
AU  - Sinha,Roopak
AU  - Roop,Parthasarathi
AU  - Basu,Samik
ED  - SpringerLink (Online service)
TI  - Correct-by-Construction Approaches for SoC Design
SN  - 9781461478645
AV  - TK7888.4 
U1  - 621.3815 23
PY  - 2014///
CY  - New York, NY
PB  - Springer New York, Imprint: Springer
KW  - engineering
KW  - Computer Science
KW  - electronics
KW  - Systems engineering
KW  - Engineering
KW  - Circuits and Systems
KW  - Processor Architectures
KW  - Electronics and Microelectronics, Instrumentation
N1  - System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook.- Appendix: Converter Generation Algorithm
N2  - 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. ·         Provides a single-source reference to correct-by-construction SoC design; ·         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
UR  - http://dx.doi.org/10.1007/978-1-4614-7864-5
ER  -