Login

Sinha, Roopak

Correct-by-Construction Approaches for SoC Design

Sinha, Roopak - Correct-by-Construction Approaches for SoC Design, ebook

132,70€

Ebook, PDF with Adobe DRM
ISBN: 9781461478645
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Author(s)
 
 
Publisher
Springer
Publication year
2014
Language
en
Edition
2014
Page amount
21 pages
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781461478645

Similar titles