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.
Jetzt vorbestellen
versandkostenfrei
Buch (Gebunden)
109.99 €
- 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
- 2013, 2014, XXI, 144 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer, Berlin
- ISBN-10: 1461478634
- ISBN-13: 9781461478638
- Erscheinungsdatum: 22.08.2013
Sprache:
Englisch
Kommentar zu "Correct-by-Construction Approaches for SoC Design"
Schreiben Sie einen Kommentar zu "Correct-by-Construction Approaches for SoC Design".
Kommentar verfassen