Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Lecture Notes in Computer Science Lect.Notes ComputerState-of-the-Art Surveys

Concurrency and Hardware Design

Advances in Petri Nets

Editors: Cortadella, Jordi, Yakovlev, Alex, Rozenberg, Grzegorz (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-36190-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-00199-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Composing Snippets

    Pages 1-33

    Benko, Igor (et al.)

  • A Programming Approach to the Design of Asynchronous Logic Blocks

    Pages 34-60

    Josephs, Mark B. (et al.)

  • GALA (Globally Asynchronous — Locally Arbitrary) Design

    Pages 61-107

    Varshavsky, Victor (et al.)

  • Synthesis of Reactive Systems: Application to Asynchronous Circuit Design

    Pages 108-151

    Carmona, Josep (et al.)

  • Decomposition in Asynchronous Circuit Design

    Pages 152-190

    Vogler, Walter (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-36190-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-00199-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Concurrency and Hardware Design
Book Subtitle
Advances in Petri Nets
Editors
  • Jordi Cortadella
  • Alex Yakovlev
  • Grzegorz Rozenberg
Series Title
Lecture Notes in Computer Science
Series Volume
2549
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36190-9
DOI
10.1007/3-540-36190-1
Softcover ISBN
978-3-540-00199-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 346
Topics