Correct-by-Construction Approaches for SoC Design, Softcover reprint of the original 1st ed. 2014
Auteurs : Sinha Roopak, Roop Parthasarathi, Basu Samik
System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking.- Models for SoCs and Specifications.- SoC Design Methodology.- Automatic Protocol Conversion.- Related Work and Outlook.- Appendix: Converter Generation Algorithm.
Ouvrage de 144 p.
15.5x23.5 cm
Ouvrage de 144 p.
15.5x23.5 cm