|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Roopak Sinha , Parthasarathi Roop , Samik BasuPublisher: Springer-Verlag New York Inc. Imprint: Springer-Verlag New York Inc. Edition: 2014 ed. Dimensions: Width: 15.50cm , Height: 1.50cm , Length: 23.50cm Weight: 4.094kg ISBN: 9781461478638ISBN 10: 1461478634 Pages: 144 Publication Date: 22 August 2013 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsSystem-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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |