Advertisement

Electronic Chips & Systems Design Languages

  • Jean Mermet

Table of contents

  1. Front Matter
    Pages i-ix
  2. VHDL Extensions

    1. Front Matter
      Pages 1-1
    2. Analog and Mixed-Signal Modelling and Simulation

    3. OO-VHDL

      1. Peter J. Ashenden, Philip A. Wilsey, Dale E. Martin
        Pages 57-70
      2. Martin Radetzki, Wolfgang Nebel
        Pages 71-84
  3. System Level Design

    1. Front Matter
      Pages 85-85
    2. HW/SW Co-design

      1. Luis Sánchez Fernández, Simon Pickin, Angel Groba, Natividad Martínez Madrid, Alejandro Alonso
        Pages 89-98
      2. François Cloute, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard
        Pages 111-120
      3. P. G. Plöger, Reinhard Budde, Karl H. Sylla
        Pages 131-142
    3. Co-simulation

      1. Per Bjuréus, Axel Jantsch
        Pages 145-157
      2. Vincent Moser, Alexis Boegli, Hans Peter Amann, Fausto Pellandini
        Pages 159-168
      3. Matthias Bauer, Wolfgang Ecker, Andreas Zinn
        Pages 169-178
    4. SLD methodology

      1. Axel Jantsch, Shashi Kumar, Ingo Sander, Bengt Svantesson, Johnny Öberg, Ahmed Hemani et al.
        Pages 181-192
      2. Francis Cook, Nathan Messer, Andy Carpenter
        Pages 193-203
      3. Gérard Berry, Ed Harcourt, Luciano Lavagno, Ellen Sentovich
        Pages 205-212
      4. O. Pasquier, F. Muller, J. P. Calvez, D. Heller, E. Chenard
        Pages 213-224
  4. Synthesis

    1. Front Matter
      Pages 225-225
    2. Dario Corvino, Italo Epicoco, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto
      Pages 227-238
    3. Marie-France Albenge, Dominique Houzet
      Pages 239-247
    4. A. C. Williams, A. D. Brown, Z. A. Baidas
      Pages 249-260
  5. Formal Verification

    1. Front Matter
      Pages 261-261
    2. Formal Verification

      1. Dominique Borrione, Philippe Georgelin
        Pages 273-284
      2. A. Allara, M. Bombana, S. Comai, B. Josko, R. Schlör, D. Sciuto
        Pages 285-294
      3. Olaf Drögehorn, Heinz-Dieter Hümmer, Walter Geisselhardt
        Pages 295-306

About this book

Introduction

Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip (SOC) design requires designers to work in a multi-lingual environment which is becoming increasingly difficult to master. It is therefore crucial for them to learn, almost in real time, from the experiences of their colleagues in the use of design languages and how these languages have become more advanced to cope with system design.
System designers, as well as students willing to become system designers, often do not have the time to attend all scientific events where they could learn the necessary information. This book will bring them a selected digest of the best contributions and industry strength case studies. All the levels of abstraction that are relevant, from the informal user requirements down to the implementation specifications, are addressed by different contributors. The author, together with colleague authors who provide valuable additional experience, presents examples of actual industrial world applications. Furthermore the academic concepts presented in this book provide excellent theories to student readers and the concepts described are up to date and in so doing provide most suitable root information for Ph.D. postgraduates.

Keywords

Embedded System Hardware Turing architecture circuit design formal verification modeling optimization stability

Editors and affiliations

  • Jean Mermet
    • 1
  1. 1.CNRS, ECSIFrance

Bibliographic information