Catalog > Scienza > Tecnica > Elettronica, ingegneria elettrica, telecomunicazioni > 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]

Supporto

Copertina di 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

Tabella dei contenuti

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.

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● Pagine 144 ● ISBN 9781461478645 ● Dimensione 3.9 MB ● Casa editrice Springer New York ● Città NY ● Paese US ● Pubblicato 2013 ● Scaricabile 24 mesi ● Moneta EUR ● ID 4601082 ● Protezione dalla copia DRM sociale

Altri ebook dello stesso autore / Editore

Roopak Sinha Parthasarathi Roop Samik Basu

19.094 Ebook in questa categoria

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

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

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

Copertina di Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Copertina di 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 …

Copertina di 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- …

Pagina successiva >>>