Sinha, Roopak
Correct-by-Construction Approaches for SoC Design
1. System-on-a-Chip Design
Roopak Sinha, Parthasarathi Roop, Samik Basu
2. The AMBA SOC Platform
Roopak Sinha, Parthasarathi Roop, Samik Basu
3. Automatic Verification Using Model and Module Checking
Roopak Sinha, Parthasarathi Roop, Samik Basu
4. Models for SoCs and Specifications
Roopak Sinha, Parthasarathi Roop, Samik Basu
5. SoC Design Methodology
Roopak Sinha, Parthasarathi Roop, Samik Basu
6. Automatic Protocol Conversion
Roopak Sinha, Parthasarathi Roop, Samik Basu
7. Related Work and Outlook
Roopak Sinha, Parthasarathi Roop, Samik Basu
Avainsanat: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation
- Tekijä(t)
- Sinha, Roopak
- Roop, Parthasarathi
- Basu, Samik
- Julkaisija
- Springer
- Julkaisuvuosi
- 2014
- Kieli
- en
- Painos
- 2014
- Sivumäärä
- 21 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781461478645