System Design

A Practical Guide with SpecC
Softcover Nachdruck of the original 1. Auflage 2001
ISBN: 978-1-4613-5575-5
Verlag: Springer US

Buch, Englisch, 255 Seiten, Paperback, Format (B × H): 178 mm x 254 mm, Gewicht: 518 g

presents the system design flow following a simple example through the whole process in an easy-to-follow, step-by-step fashion. Each step is described in detail in pictorial form and with code examples in SpecC. For each picture slide a detailed explanation is provided of the concepts presented. This format is suited for tutorials, seminars, self-study, as a guided reference carried by examples, or as teaching material for courses on system design.
Features:

• Comprehensive introduction to and description of the SpecC language and design methodology;
• IP-centric language and methodology with focus on design reuse;
• Complete framework for system-level design from specification to implementation for SOCs and other embedded HW/SW systems.

will benefit designers and design managers of complex SOCs, or embedded systems in general, by allowing them to develop new methodologies from these results, in order to increase design productivity by orders of magnitude. Designers at RTL, logical or physical levels, who are interested in moving up to the system level, will find a comprehensive overview within. The design models in the book define IP models and functions for IP exchange between IP providers and their users. A well-defined methodology like the one presented in this book will help product planning divisions to quickly develop new products or to derive completely new business models, like e-design or product-on-demand. Finally, researchers and students in the area of system design will find an example of a formal, well-structured design flow in this book.

Zielgruppe

Research

Autoren/Hrsg.

Gerstlauer, Andreas

Gajski, Daniel D.

Dömer, Rainer

Fachgebiete

• Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnik
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
• Mathematik | Informatik EDV | Informatik Technische Informatik

Inhaltsverzeichnis

1. The SpecC Language.- Outline.- 1.1 Introduction.- 1.2 Computational Models.- 1.3 The SpecC Model.- 1.4 System-level Language Requirements.- 1.5 The SpecC Language.- 1.6 Summary and Conclusion.- 2. Modeling and Design with SpecC.- Outline.- 2.1 Introduction.- 2.2 Specification Model.- 2.3 Architecture Refinement.- 2.4 Architecture Model.- 2.5 Communication Synthesis.- 2.6 Communication Model.- 2.7 Backend.- 2.8. Implementation Model.- 2.9 Summary and Conclusions.- 3. Design of a GSM Vocoder.- Outline.- 3.1 Introduction.- 3.2 Specification Model.- 3.3 Architecture Exploration.- 3.4 Architecture Model.- 3.5 Communication Synthesis.- 3.6 Communication Model.- 3.7 Backend.- 3.8 Implementation Model.- 3.9 Summary & Conclusions.- 4. Design of a JBIG Encoder.- Outline.- 4.1 Introduction.- 4.2 Specification.- 4.3 Partitioning.- 4.4 Architecture Model.- 4.5 Communication model.- 4.6 JBIG Hardware Design.- 4.7 Conclusions.- 5 SpecC Design Environment.- Outline.- 5.1 Introduction.- 5.2 Refinement.- 5.3 SpecC Engine.- 5.4 Conclusions.- 6. SpecC Technology Open Consortium.- 6.1 Introduction.- 6.2 Motivation.- 6.3 The SpecC Technology Open Consortium.