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.
Mục lục
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.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 144 ● ISBN 9781461478645 ● Kích thước tập tin 3.9 MB ● Nhà xuất bản Springer New York ● Thành phố NY ● Quốc gia US ● Được phát hành 2013 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 4601082 ● Sao chép bảo vệ DRM xã hội