Correct-by-Construction Approaches for SoC Design

Roopak Sinha (u. a.)

ISBN 10: 1489986391 / ISBN 13: 9781489986399

Published by Humana, 2015

About this Item

Correct-by-Construction Approaches for SoC Design | Roopak Sinha (u. a.) | Taschenbuch | xxi | Englisch | 2015 | Humana | EAN 9781489986399 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 109586768

Bibliographic Details

• Title: Correct-by-Construction Approaches for SoC Design
• Publisher: Humana
• Publication Date: 2015
• Language: English
• ISBN 10: 1489986391
• ISBN 13: 9781489986399
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 10D millimeters 235 millimeters width by 155 millimeters height by 10 millimeters depth
• Weight: 265 grams
• Seller catalogs:
  • Bücher

About this title

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.

From the Back Cover

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.