175 years of Springer publishing +++ Limited offer: Any eBook in the Springer Archives 9.99 each!

IFIP Advances in Information and Communication Technology

Hardware Description Languages and their Applications

Specification, modelling, verification and synthesis of microelectronic systems

Editors: Delgado Kloos, Carlos, Cerny, Eduard (Eds.)

Buy this book

eBook $159.00
price for USA (gross)
  • ISBN 978-0-387-35064-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $208.00
price for USA
  • ISBN 978-0-412-78810-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $208.00
price for USA
  • ISBN 978-1-4757-5387-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis based on HDLs. Currently the subject has reached the consolidation phase in which languages and standards are being increasingly used, at the same time as the scope is being broadened to additional application areas. This book presents the latest developments in this area and provides a forum from which readers can learn from the past and look forward to what the future holds.

Table of contents (27 chapters)

  • Synchronous Languages for Hardware and Software Reactive Systems

    Berry, Gerard

    Pages 3-3

  • Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets

    Kleinjohann, B. (et al.)

    Pages 4-23

  • Simplifying Data Operations for Formal Verification

    Balarin, Felice (et al.)

    Pages 27-39

  • CTL and Equivalent Sublanguages of CTL

    Schneider, Klaus (et al.)

    Pages 40-59

  • Verifying linear temporal properties of data insensitive controllers using finite instantiations

    Hojati, R. (et al.)

    Pages 60-73

Buy this book

eBook $159.00
price for USA (gross)
  • ISBN 978-0-387-35064-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $208.00
price for USA
  • ISBN 978-0-412-78810-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $208.00
price for USA
  • ISBN 978-1-4757-5387-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Hardware Description Languages and their Applications
Book Subtitle
Specification, modelling, verification and synthesis of microelectronic systems
Editors
  • Carlos Delgado Kloos
  • Eduard Cerny
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1997
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35064-6
DOI
10.1007/978-0-387-35064-6
Hardcover ISBN
978-0-412-78810-9
Softcover ISBN
978-1-4757-5387-5
Series ISSN
1868-4238
Edition Number
1
Number of Pages
X, 350
Topics