Concurrency and Hardware Design (original) (raw)
Overview
Editors:
- Jordi Cortadella
- Department of Software, Technical University of Catalonia, Barcelona, Spain
- Alex Yakovlev
- School of Electrical, Electronic and Computer Engineering, University of Newcastle, UK
- Grzegorz Rozenberg
- Center for Natural Computing, Leiden University, Leiden, The Netherlands
Includes supplementary material: sn.pub/extras
5558 Accesses
78 Citations
Access this book
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (9 chapters)
Formal Models
Asynchronous Circuits
Embedded System Design
Timed Verification and Performance Analysis
Editors and Affiliations
Department of Software, Technical University of Catalonia, Barcelona, Spain
Jordi Cortadella
School of Electrical, Electronic and Computer Engineering, University of Newcastle, UK
Alex Yakovlev
Center for Natural Computing, Leiden University, Leiden, The Netherlands
Grzegorz Rozenberg
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
- DOI: https://doi.org/10.1007/3-540-36190-1
- Publisher: Springer Berlin, Heidelberg
- eBook Packages: Springer Book Archive
- Copyright Information: Springer-Verlag Berlin Heidelberg 2002
- Softcover ISBN: 978-3-540-00199-7Published: 26 November 2002
- eBook ISBN: 978-3-540-36190-9Published: 01 July 2003
- Series ISSN: 0302-9743
- Series E-ISSN: 1611-3349
- Edition Number: 1
- Number of Pages: X, 346
- Topics: Software Engineering/Programming and Operating Systems, Computer Hardware, Computer Systems Organization and Communication Networks, Software Engineering, Computation by Abstract Devices, Mathematical Logic and Formal Languages