Concurrency and Hardware Design

Advances in Petri Nets

  • Jordi Cortadella
  • Alex Yakovlev
  • Grzegorz Rozenberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2549)

Table of contents

  1. Front Matter
    Pages I-X
  2. Formal Models

    1. Igor Benko, Jo Ebergen
      Pages 1-33
    2. Mark B. Josephs, Dennis P. Furey
      Pages 34-60
  3. Asynchronous Circuits

    1. Victor Varshavsky, Vyacheslav Marakhovsky
      Pages 61-107
    2. Josep Carmona, Jordi Cortadella, Enric Pastor
      Pages 108-151
    3. Walter Vogler, Ralf Wollowski
      Pages 152-190
  4. Embedded System Design

    1. William LaRue, Sherry Solden, Bishnupriya Bhattacharya
      Pages 191-227
    2. Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe
      Pages 228-273
  5. Timed Verification and Performance Analysis

    1. Jesper Møller, Henrik Hulgaard, Henrik Reif Andersen
      Pages 274-312
  6. Back Matter
    Pages 345-345

About this book

Introduction

As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon ‘real estate’ rocket to billions of dollars that have to be spent on design, veri?cation, and testing. All such problems call for new - sign approaches and models for digital systems. Furthermore, new developments in non-CMOS technologies, such as single-electron transistors, rapid single-?- quantum devices, quantum dot cells, molecular devices, etc. , add extra demand for new research in system design methodologies. What kind of models and design methodologies will be required to build systems in all these new technologies? Answering this question, even for each particular type of new technology generation, is not easy, especially because sometimes it is not even clear what kind of elementary devices are feasible there. This problem is of an interdisciplinary nature. It requires an bridges between di?erent scienti?c communities. The bridges must be built very quickly, and be maximally ?exible to accommodate changes taking place in a logarithmic timescale.

Keywords

Circuit Design Concurrent Computing Electronic Systems Engineering Embedded System Embedded Systems Formal Methods Hardware Hardware Design Hardware Technology Petri Nets Theoretical Computer Science Verification concurrency formal method

Editors and affiliations

  • Jordi Cortadella
    • 1
  • Alex Yakovlev
    • 2
  • Grzegorz Rozenberg
    • 3
  1. 1.Department of SoftwareTechnical University of CataloniaBarcelonaSpain
  2. 2.School of Electrical, Electronic and Computer EngineeringUniversity of NewcastleUK
  3. 3.Center for Natural ComputingLeiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36190-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00199-7
  • Online ISBN 978-3-540-36190-9
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace