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
    2. Vincent Moser, Hans Peter Amann, Fausto Pellandini
      Pages 159-177
  6. Languages in Design Flows

    1. Front Matter
      Pages 179-179
    2. Jean-Marc Daveau, Gilberto Fernandes Marchioro, Carlos Alberto Valderrama, Ahmed Amine Jerraya
      Pages 182-201
  7. Future Trends in Hardware Design

    1. Front Matter
      Pages 213-213
    2. Cary Ussery, Simon Curry
      Pages 215-239
    3. Mike Heuchling, Wolfgang Ecker, Michael Mrva
      Pages 240-259
    4. Jon Mountjoy, Pieter Hartel, Henk Corporaal
      Pages 260-279
  8. Formal Methods for Asynchronous and Distributed Systems

    1. Front Matter
      Pages 281-281
    2. Howard Barringer, Donal Fellows, Graham Gough, Alan Williams
      Pages 285-304
    3. Ratan Nalumasu, Ganesh Gopalakrishnan
      Pages 305-314
  9. VHDL

    1. Front Matter
      Pages 315-315
    2. L. Kruse, D. Rabe, W. Nebel
      Pages 317-333
    3. Judith Benzakki, Bachir Djafri
      Pages 334-347
  10. Back Matter
    Pages 348-350

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.


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
  • 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
  • Buy this book on publisher's site