02642nam 2200529Ia 450 991029973840332120200520144314.01-4614-7864-210.1007/978-1-4614-7864-5(OCoLC)859589330(MiFhGG)GVRL6UQJ(CKB)2670000000421204(MiAaPQ)EBC1398485(EXLCZ)99267000000042120420111102d2014 uy 0engurun|---uuuuatxtccrCorrect-by-construction approaches for SoC design /Roopak Sinha, Parthasarathi Roop, Samik BasuNew York Springer Science20141 online resource (xxi, 144 pages) illustrations (some color)Gale eBooksIncludes index.1-4614-7863-4 Includes bibliographical references and index.System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook.- Appendix: Converter Generation Algorithm.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. ·         Provides a single-source reference to correct-by-construction SoC design; ·         Enables optimized design cycles, with techniques to reuse IP blocks reliably; ·         Uses realistic SoC case studies to highlight the concepts introduced;  ·         Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA.Systems on a chipDesign and constructionEmbedded computer systemsDesign and constructionSystems on a chipDesign and construction.Embedded computer systemsDesign and construction.004.1620621.381621.3815Sinha Roopak973645Roop Parthasarathi1751581Basu Samik1751582MiAaPQMiAaPQMiAaPQBOOK9910299738403321Correct-by-construction approaches for SoC design4186572UNINA