Catalog > Sciences > Engineering / Technics > Electronics, Electrical Engineering, Communications Engineering > Roopak Sinha & Parthasarathi Roop: Correct-by-Construction Approaches for SoC Design (PDF)

Roopak Sinha & Parthasarathi Roop
Correct-by-Construction Approaches for SoC Design [PDF ebook]

Support

Cover of Roopak Sinha & Parthasarathi Roop: Correct-by-Construction Approaches for SoC Design (PDF)

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 So Cs from multiple, possibly mismatching, components.

€96.29

Table of Content

System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking.- Models for So Cs and Specifications.- So C Design Methodology.- Automatic Protocol Conversion.- Related Work and Outlook.- Appendix: Converter Generation Algorithm.

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 144 ● ISBN 9781461478645 ● File size 3.9 MB ● Publisher Springer New York ● City NY ● Country US ● Published 2013 ● Downloadable 24 months ● Currency EUR ● ID 4601082 ● Copy protection Social DRM

More ebooks from the same author(s) / Editor

Roopak Sinha Parthasarathi Roop Samik Basu

19,094 Ebooks in this category

Cover of Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Cover of Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

Cover of Jae Joon Han & Seungju Han: MPEG-V

Jae Joon Han & Seungju Han: MPEG-V

This book is the first to cover the recently developed MPEG-V standard, explaining the fundamentals of each part of the technology and exploring potential applications. Written by experts in the fiel …

Cover of S.B. Furber: VLSI Risc Architecture and Organization

S.B. Furber: VLSI Risc Architecture and Organization

With the expectation that architectural improvements will play a significant role inadvancing processor performance, it is critical for readers to maintain an up-to-date, unified overview of technolo …

Cover of Hitoshi (University of Tokyo, Japan) Iba: AI and SWARM

Hitoshi (University of Tokyo, Japan) Iba: AI and SWARM

This book provides theoretical and practical knowledge on AI and swarm intelligence. It provides a methodology for EA (evolutionary algorithm)-based approach for complex adaptive systems with the int …

Cover of P. S. (Florida Atlantic University, Boca Raton, Florida, USA) Neelakanta: Information-Theoretic Aspects of Neural Networks

P. S. (Florida Atlantic University, Boca Raton, Florida, USA) Neelakanta: Information-Theoretic Aspects of Neural Networks

Information theoretics vis-a-vis neural networks generally embodies parametric entities and conceptual bases pertinent to memory considerations and information storage, information-theoretic based co …

Cover of Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Cover of Denise Brehaut: GMDSS

Denise Brehaut: GMDSS

The Global Maritime Distress and Safety System (GMDSS) – the maritime equivalent to the emergency services number – provides a fast and efficient way of calling for assistance at sea, whatever the si …

Cover of Ramon (EPSC-UPC, Castelldefels, Spain) Pallas-Areny & Fernando E. Valdes-Perez: Microcontrollers

Ramon (EPSC-UPC, Castelldefels, Spain) Pallas-Areny & Fernando E. Valdes-Perez: Microcontrollers

Microcontrollers exist in a wide variety of models with varying structures and numerous application opportunities. Despite this diversity, it is possible to find consistencies in the architecture of …

Cover of Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

With a focus on designing and verifying CMOS analog integrated circuits, the book reviews design techniques for mixed-signal building blocks, such as Nyquist and oversampling data converters, and cir …