Correct-by-Construction Approaches for SoC Design
143.14 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10367630
Beschreibung
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.
Eigenschaften
Breite: | 161 |
Gewicht: | 430 g |
Höhe: | 247 |
Länge: | 17 |
Seiten: | 144 |
Sprachen: | Englisch |
Autor: | Parthasarathi Roop, Roopak Sinha, Samik Basu |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen