Correct-by-Construction Approaches for SoC Design
(Sprache: Englisch)
The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
106.99 €
53 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Correct-by-Construction Approaches for SoC Design “
The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Klappentext zu „Correct-by-Construction Approaches for SoC Design “
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 SoCs from multiple, possibly mismatching, components.
Inhaltsverzeichnis zu „Correct-by-Construction Approaches for SoC Design “
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.Bibliographische Angaben
- Autoren: Roopak Sinha , Parthasarathi Roop , Samik Basu
- 2015, Softcover reprint of the original 1st ed. 2014, XXI, 144 Seiten, Maße: 15,4 x 23,6 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 1489986391
- ISBN-13: 9781489986399
Sprache:
Englisch
Kommentar zu "Correct-by-Construction Approaches for SoC Design"
0 Gebrauchte Artikel zu „Correct-by-Construction Approaches for SoC Design“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Correct-by-Construction Approaches for SoC Design".
Kommentar verfassen