Correct-by-Construction Approaches for SoC Design

Author:   Roopak Sinha ,  Parthasarathi Roop ,  Samik Basu
Publisher:   Springer-Verlag New York Inc.
Edition:   2014 ed.
ISBN:  

9781461478638


Pages:   144
Publication Date:   22 August 2013
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $290.37 Quantity:  
Add to Cart

Share |

Correct-by-Construction Approaches for SoC Design


Add your own review!

Overview

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.

Full Product Details

Author:   Roopak Sinha ,  Parthasarathi Roop ,  Samik Basu
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2014 ed.
Dimensions:   Width: 15.50cm , Height: 1.50cm , Length: 23.50cm
Weight:   4.094kg
ISBN:  

9781461478638


ISBN 10:   1461478634
Pages:   144
Publication Date:   22 August 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
Shopping cart
Mailing List