Advertisement

Table of contents

  1. Front Matter
  2. Alan R. Martello, Steven P. Levitan
    Pages 27-38
  3. Keith Hanna, Neil Daeche
    Pages 39-54
  4. Qinhai Zhang, Charles Trullemans
    Pages 68-79
  5. Paolo Camurati, Fulvio Corno, Paolo Prinetto
    Pages 80-91
  6. N. A. Harman, J. V. Tucker
    Pages 92-108
  7. Phillip J. Windley
    Pages 122-134
  8. Gianpiero Cabodi, Paolo Camurati
    Pages 155-166
  9. Bhaskar Bose, Steven D. Johnson
    Pages 191-202
  10. He Jifeng, Ian Page, Jonathan Bowen
    Pages 214-225
  11. Robin Sharp, Ole Rasmussen
    Pages 226-241
  12. Thomas Kropf, Ramayya Kumar, Klaus Schneider
    Pages 242-257
  13. Back Matter

About these proceedings

Introduction

These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace with its associated increase in cost. From being a predominantly academic area of study until a few years ago, formal design and verification techniques are now beginning to migrate into industrial use. As we are now witnessing an increase in activity in this area in both academia and industry, the aim of this working conference was to bring together researchers and users from both communities.

Keywords

Circuit Design Circuit Verification Correct Hardware Design Correct Hardware Verification DOM Formal Methods Formale Methoden Korrekte Hardware-Verifikation Korrekter Hardware-Entwurf Schaltkreisverifikation VLSI formal verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0021709
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56778-3
  • Online ISBN 978-3-540-70655-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications