Correct-by-Construction Approaches for SoC Design - Couverture souple

Sinha, Roopak; Roop, Parthasarathi; Basu, Samik

 
9781461478652: Correct-by-Construction Approaches for SoC Design
Couverture souple
ISBN 10 : 1461478650 ISBN 13 : 9781461478652
Editeur : Springer, 2013

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
1461478650
ISBN 13 
9781461478652
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781461478638: Correct-by-construction Approaches for Soc Design

Edition présentée

ISBN 10 :  1461478634 ISBN 13 :  9781461478638
Editeur : Springer-Verlag New York Inc., 2013
Couverture rigide