Catalog > Ciência > Técnica > Eletrônica, Engenharia Elétrica, Telecomunicações > 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]

Apoio

Capa do 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

Tabela de Conteúdo

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 e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● Páginas 144 ● ISBN 9781461478645 ● Tamanho do arquivo 3.9 MB ● Editora Springer New York ● Cidade NY ● País US ● Publicado 2013 ● Carregável 24 meses ● Moeda EUR ● ID 4601082 ● Proteção contra cópia DRM social

Mais ebooks do mesmo autor(es) / Editor

Roopak Sinha Parthasarathi Roop Samik Basu

19.094 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

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

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

Capa do Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Saifullah Khalid: Applied Computational Intelligence and Soft Computing in Engineering

Capa do 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 …

Capa do 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- …

Próxima página >>>