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
Innehållsförteckning
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.
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● Sidor 144 ● ISBN 9781461478645 ● Filstorlek 3.9 MB ● Utgivare Springer New York ● Stad NY ● Land US ● Publicerad 2013 ● Nedladdningsbara 24 månader ● Valuta EUR ● ID 4601082 ● Kopieringsskydd Social DRM
Fler e-böcker från samma författare (r) / Redaktör
18 931 E-böcker i denna kategori
