Sisäänkirjautuminen

Sinha, Roopak

Correct-by-Construction Approaches for SoC Design

Sinha, Roopak - Correct-by-Construction Approaches for SoC Design, e-kirja

117,70€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781461478645
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

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)
 
 
Julkaisija
Springer
Julkaisuvuosi
2014
Kieli
en
Painos
2014
Sivumäärä
21 sivua
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781461478645

Samankaltaisia e-kirjoja