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.
สารบัญ
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.
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● หน้า 144 ● ISBN 9781461478645 ● ขนาดไฟล์ 3.9 MB ● สำนักพิมพ์ Springer New York ● เมือง NY ● ประเทศ US ● การตีพิมพ์ 2013 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 4601082 ● ป้องกันการคัดลอก โซเชียล DRM