Correct-by-Construction Approaches for SoC Design
| Autor: | Roopak Sinha, Parthasarathi Roop, Samik Basu |
|---|---|
| EAN: | 9781461478645 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 23.08.2013 |
| Kategorie: | |
| Schlagworte: | Correct-by-construction Design Embedded Systems Design Formal Methods Formal Verification Reuse Methodology SoC System-level verification System-on-Chip System-on-Chip Verification |
106,99 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel