Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Correct-by-Construction Approaches for SoC Design electronic resource by Roopak Sinha, Parthasarathi Roop, Samik Basu.

By: Sinha, Roopak [author.]Contributor(s): Roop, Parthasarathi [author.] | Basu, Samik [author.] | SpringerLink (Online service)Material type: TextTextPublication details: New York, NY : Springer New York : Imprint: Springer, 2014Description: XXI, 144 p. 53 illus., 33 illus. in color. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9781461478645Subject(s): engineering | Computer Science | electronics | Systems engineering | Engineering | Circuits and Systems | Processor Architectures | Electronics and Microelectronics, InstrumentationDDC classification: 621.3815 LOC classification: TK7888.4Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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.

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.

There are no comments on this title.

to post a comment.