© 2006

Applications of Specification and Design Languages for SoCs

Selected papers from FDL 2005

  • A. Vachoux

Table of contents

  1. Front Matter
    Pages i-xxii
  2. Specification, Design, and Verification Methods

    1. Front Matter
      Pages 1-4
    2. Dominique Borrione, Miao Liu, Pierre Ostier, Laurent Fesquet
      Pages 5-22
    3. Zhonghai Lu, Ingo Sander, Axel Jantsch
      Pages 23-38
  3. C/C++-Based System Design

    1. Front Matter
      Pages 40-42
    2. Giovanni B. Vece, Massimo Conti, Simone Orcioni
      Pages 43-59
    3. Fernando Herrera, Eugenio Villar
      Pages 61-81
    4. André C. Nácul, Marcello Lajolo, Tony Givargis
      Pages 83-99
    5. Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
      Pages 101-114
    6. Deepak A. Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch
      Pages 115-130
  4. Analog, Mixed-Signal, and Heterogeneous System Design

    1. Front Matter
      Pages 132-134
    2. Torsten Mähne, Kersten Kehr, Axel Franke, Jörg Hauer, Bertram Schmidt
      Pages 135-153
    3. Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
      Pages 155-169
    4. Simone Orcioni, Giorgio Biagetti, Massimo Conti
      Pages 171-185
    5. Suad Kajtazovic, Christian Steger, Andreas Schuhai, Markus Pistauer
      Pages 187-203
    6. Ian O'Connor, Faress Tissafi-Drissi, Guillaume Révy, Frédéric Gaffiot
      Pages 205-225
  5. UML-Based System Specification and Design

    1. Front Matter
      Pages 228-230
    2. Cathy Berthouzoz, François Corthay, Medard Rieder, Rico Steiner, Thomas Sterren
      Pages 231-246
    3. Oana Florescu, Jeroen Voeten, Henk Corporaal
      Pages 247-262
    4. Lossan Bondé, Pierre Boulet, Jean-Luc Dekeyser
      Pages 263-276

About this book


Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and learn about new trends in the application of languages and models for the specification and modeling of electronic systems.

This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.

All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.


Hardware Hardwarebeschreibungssprache Signal SystemC VHDL analog communication design microelectromechanical system (MEMS) modeling network on chip (NoC) simulation software system design system on chip (SoC)

Editors and affiliations

  • A. Vachoux
    • 1
  1. 1.FDL'05 General ChairEcole Polytechnique Fédérale de LausanneSwitzerland

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences