Catalog > Science > Technique > Electronique, Electrotechnique, Télécommunications > 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

Couverture du 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 des matières

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.

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● Pages 144 ● ISBN 9781461478645 ● Taille du fichier 3.9 MB ● Maison d’édition Springer New York ● Lieu NY ● Pays US ● Publié 2013 ● Téléchargeable 24 mois ● Devise EUR ● ID 4601082 ● Protection contre la copie DRM sociale

Plus d’ebooks du même auteur(s) / Éditeur

Roopak Sinha Parthasarathi Roop Samik Basu

19 094 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du Soubhagya Sankar Barpanda & Anupama Namburu: Recent Advances in Computer Based Systems, Processes and Applications

Soubhagya Sankar Barpanda & Anupama Namburu: Recent Advances in Computer Based Systems, Processes and Applications

This was the first conference organized by the school of Computer Science Engineering in VIT-AP University campus with the cumulative efforts of all the faculty members. The proceedings discusses rec …

Couverture du Mantian Hu & Ye Ouyang: Big Data Applications in the Telecommunications Industry

Mantian Hu & Ye Ouyang: Big Data Applications in the Telecommunications Industry

Couverture du Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Couverture du Howard Greenfield & Wes Simpson: IPTV and Internet Video

Howard Greenfield & Wes Simpson: IPTV and Internet Video

Stake your claim in the rapidly growing IPTV market with a thorough understanding of the key trends and technological advances shaping the future of broadband video technology. Make informed business …

Couverture du 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- …

Page suivante >>>