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
Cuprins
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.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● Pagini 144 ● ISBN 9781461478645 ● Mărime fișier 3.9 MB ● Editura Springer New York ● Oraș NY ● Țară US ● Publicat 2013 ● Descărcabil 24 luni ● Valută EUR ● ID 4601082 ● Protecție împotriva copiilor DRM social
Mai multe cărți electronice de la același autor (i) / Editor
19.094 Ebooks din această categorie
