Correct-by-Construction Approaches for SoC Design

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Correct-by-Construction Approaches for SoC Design by Roopak Sinha, Parthasarathi Roop, Samik Basu, Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Roopak Sinha, Parthasarathi Roop, Samik Basu ISBN: 9781461478645
Publisher: Springer New York Publication: August 23, 2013
Imprint: Springer Language: English
Author: Roopak Sinha, Parthasarathi Roop, Samik Basu
ISBN: 9781461478645
Publisher: Springer New York
Publication: August 23, 2013
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer New York

Cover of the book Bubbles, Booms, and Busts by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Contemporary Reviews in Neuropsychology by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book The ASCRS Manual of Colon and Rectal Surgery by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Cartilage Restoration by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Applied Cyber-Physical Systems by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Tallgrass Prairie Restoration in the Midwestern and Eastern United States by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Terricolous Lichens in India by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Ways of Knowing in HCI by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Handbook of Natural Language Processing and Machine Translation by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Recent Advances in Weed Management by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Advances in Fetal and Neonatal Physiology by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Global Analysis of Nonlinear Dynamics by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Reviews of Environmental Contamination and Toxicology by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Microbial Source Tracking: Methods, Applications, and Case Studies by Roopak Sinha, Parthasarathi Roop, Samik Basu
Cover of the book Oncogenes by Roopak Sinha, Parthasarathi Roop, Samik Basu
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy