Correct-by-construction approaches for SoC design [electronic resource] / Roopak Sinha, Parthasarathi Roop, Samik Basu.

Correct-by-construction approaches for SoC design [electronic resource] / Roopak Sinha, Parthasarathi Roop, Samik Basu.

9781461478645 electronic book
1461478642 electronic book
1461478634
9781461478638

New York : Springer, [2013?]

©2014

English

1 online resource (xxi, 144 pages) : illustrations

10.1007/978-1-4614-7864-5 doi

TK7895.E42

006.2/2

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.

Includes bibliographical references and index.

Access limited to authorized users.

Description based on print version record.

Online Resources > Ebooks
All Resources