Correct-by-Construction Approaches for SoC Design - Softcover

Sinha, Roopak; Roop, Parthasarathi; Basu, Samik

 
9781461478652: Correct-by-Construction Approaches for SoC Design

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9781461478638: Correct-By-Construction Approaches for Soc Design

Vorgestellte Ausgabe

ISBN 10:  1461478634 ISBN 13:  9781461478638
Verlag: Springer, 2013
Hardcover