System Specification & Design Languages

Best of FDL’02

  • Eugenio Villar
  • Jean Mermet

Table of contents

  1. Front Matter
    Pages i-2
  2. Analog and Mixed-Signal System Design

    1. Ernst Christen
      Pages 5-17
    2. Karsten Einwich, Peter Schwarz, Christoph Grimm, Klaus Waldschmidt
      Pages 19-28
    3. Christoph Clauss, Hilding Elmqvist, Sven Erik Mattsson, Martin Otter, Peter Schwarz
      Pages 29-40
    4. François Pêcheux, Christophe Lallement
      Pages 41-50
    5. Joachim Haase, Jens Bastian, Sven Reitz
      Pages 51-60
    6. Natividad Martínez Madrid, Antonio Acosta Fernández, Felipe Ruiz Moreno, Ralf Seepold
      Pages 75-84
  3. UML System Specification and Design

    1. Morgan Björkander, Cris Kobryn
      Pages 107-118
    2. Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto Sangiovanni-Vincentelli, Jan Rabaey
      Pages 119-128
    3. Marc Pauwels, Yves Vanderperren, Geert Sonck, Paul van Oostende, Wim Dehaene, Trevor Moore
      Pages 129-141
    4. B. D. Theelen, P. H. A. van der Putten, J. P. M. Voeten
      Pages 143-160
    5. Luciano Baresi, Francesco Bruschi, Elisabetta Di Nitto, Donatella Sciuto
      Pages 161-171
    6. Roel Marichal, Gjalt de Jong, Piet van der Putten, Josephus van Sas
      Pages 173-182
  4. C/C++-Based System Design

    1. Lukai Cai, Mike Olivarez, Paul Kritzinger, Daniel Gajski
      Pages 185-194
    2. Massimo Bombana, William Fornaciari, Luigi Pomante
      Pages 219-229
    3. Yves Vanderperren, Wim Dehaene, Marc Pauwels
      Pages 231-242
    4. Mohamed Abdel Salam, Ashraf Salem
      Pages 255-264
  5. Specification Formalisms for Proven Design

    1. F. N. van Wijk, J. P. M. Voeten, A. J. W. M. ten Berg
      Pages 267-282
    2. Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
      Pages 283-292
    3. Florent de Dinechin, M. Manjunathaiah, Tanguy Risset, Mike Spivey
      Pages 293-302
    4. Stefaan Himpe, Geert Deconinck, Francky Catthoor, Jef van Meerbergen
      Pages 303-314
    5. Dieter Monjau, Mathias Sporer
      Pages 327-340

About this book


In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.

UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.

The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.


C++ C++ programming language C/C++ Embedded System Modelica SoC Standard architecture embedded systems modeling selection system on chip (SoC)

Editors and affiliations

  • Eugenio Villar
    • 1
  • Jean Mermet
    • 2
  1. 1.University of CantabriaSpain
  2. 2.KeesDAFrance

Bibliographic information

  • DOI
  • Copyright Information Springer Science + Business Media, Inc. 2003
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-7414-1
  • Online ISBN 978-0-306-48734-7
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software