Hardware Description Languages and their Applications

Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain

  • Carlos Delgado Kloos
  • Eduard Cerny

Table of contents

  1. Front Matter
    Pages i-x
  2. Specification and Design of Reactive Systems

  3. Verification Using Model Checking Techniques (+ poster abstracts)

    1. Front Matter
      Pages 25-25
    2. Felice Balarin, Khurram Sajid
      Pages 27-39
    3. Klaus Schneider, D. Schmid
      Pages 40-59
    4. Jan Philipps, Peter Scholz
      Pages 77-79
    5. G. Gogniat, M. Auguin, C. Belleudy
      Pages 80-82
    6. J-P. Soininen, J. Saarikettu, V. Veijalainen, T. Huttunen
      Pages 83-85
    7. Ricardo J. Machado, João M. Fernandes, Alberto J. Proença
      Pages 86-88
    8. Andrew Bardsley, Doug Edwards
      Pages 89-91
    9. C. Mandal, R. M. Zimmer
      Pages 92-94
  4. Formal Characterizations of Systems

    1. Front Matter
      Pages 95-95
    2. Krishnaprasad Thirunarayan, Robert L. Ewing
      Pages 97-113
    3. Bachir Berkane, Simona Gandrabur, Eduard Cerny
      Pages 114-133
    4. Francisco Corella, Robert Shaw, Cui Zhang
      Pages 134-156
  5. Analog Languages

    1. Front Matter
      Pages 157-157

About this book

Introduction

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.

Keywords

Factor Software complexity computer design electronics model

Editors and affiliations

  • Carlos Delgado Kloos
    • 1
  • Eduard Cerny
    • 2
  1. 1.Universidad Carlos III de MadridLeganésSpain
  2. 2.Université de MontréalMontréalCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35064-6
  • Copyright Information Springer-Verlag US 1997
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5387-5
  • Online ISBN 978-0-387-35064-6
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book