Roopak Sinha & Parthasarathi Roop 
Correct-by-Construction Approaches for SoC Design [PDF ebook] 

Ủng hộ

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.

€96.29
phương thức thanh toán

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

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

18.931 Ebooks trong thể loại này