Correct-by-Construction Approaches for SoC Design

AvRoopak Sinha,Parthasarathi Roop

Häftad, Engelska, 2015

1 073 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

1 073 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2015-08-23
Mått:155 x 235 x 10 mm
Vikt:265 g
Format:Häftad
Språk:Engelska
Antal sidor:144
Förlag:Springer-Verlag New York Inc.
ISBN:9781489986399

Utforska kategorier

Innehållsförteckning

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.