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

สนับสนุน

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
วิธีการชำระเงิน

สารบัญ

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

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

18,812 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้