Catalog > Ciencia > Técnica > Electrónica, Ingeniería eléctrica, Telecomunicaciones > 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]

Soporte

Portada de 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

Tabla de materias

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.

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● Páginas 144 ● ISBN 9781461478645 ● Tamaño de archivo 3.9 MB ● Editorial Springer New York ● Ciudad NY ● País US ● Publicado 2013 ● Descargable 24 meses ● Divisa EUR ● ID 4601082 ● Protección de copia DRM social

Más ebooks del mismo autor / Editor

Roopak Sinha Parthasarathi Roop Samik Basu

18.931 Ebooks en esta categoría

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de J Ronayne: Integrated Services Digital Network

J Ronayne: Integrated Services Digital Network

An introduction to ‘ISDN’ which brings the technology up-to-date, incorporating developments in ‘ATM’, ‘SDH’ and Broadband ‘ISDN’. This book is suitable for self-learning communications professionals …

Portada de 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 …

Portada de Thomas Sikina: Introduction to Active Phased Arrays

Thomas Sikina: Introduction to Active Phased Arrays

Written by a renowned expert in the field, this book presents the fundamentals of phased array systems, including contemporary and advanced methods. It features applications ranging from advanced and …

Portada de Spyros G. Tzafestas: Intelligent Robotic Systems

Spyros G. Tzafestas: Intelligent Robotic Systems

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of indus …

Portada de Steve Moore: Designing with Analog Switches

Steve Moore: Designing with Analog Switches

A practical guide for design engineers especially those involved with digital/analog interfaces to how analog switches and multiplexers work, how to design with them, and how to select the best devic …

Portada de Chiranji Lal Chowdhary: Intelligent Systems

Chiranji Lal Chowdhary: Intelligent Systems

This volume helps to fill the gap between data analytics, image processing, and soft computing practices. Soft computing methods are used to focus on data analytics and image processing to develop go …

Portada de Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

siguiente página >>>