Correct-by-Construction Approaches for SoC Design
Correct-by-Construction Approaches for SoC Design by Roopak Sinha, published by Springer New York on August 23, 2015, is a softcover reprint of the original 1st edition from 2014. This 144-page book is written in English and focuses on methodologies for designing Systems-on-Chip (SoCs) that adhere to precise mathematical requirements. It presents strategies that allow embedded systems designers to efficiently and reliably reuse intellectual property (IP) blocks from existing designs, facilitating the automatic generation of correct SoCs from various components.
Readers will find a detailed exploration of the approaches that ensure the integration of potentially mismatching components into cohesive systems. The book emphasizes the importance of meeting exact specifications in SoC design, making it relevant for professionals in technology and engineering, particularly in the fields of electronics and computer architecture. Through its structured methodologies, this edition aims to enhance the reliability and efficiency of SoC development processes.
Official synopsis Publisher
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 SoCs from multiple, possibly mismatching, components.
Publisher
Topics
FAQ
What is “Correct-by-Construction Approaches for SoC Design” about?
Who is the author of “Correct-by-Construction Approaches for SoC Design”?
When was “Correct-by-Construction Approaches for SoC Design” published?
What is the ISBN for “Correct-by-Construction Approaches for SoC Design”?
What are the book details (language, pages, edition)?
