Correct Hardware Design and Verification Methods

10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

  • Laurence Pierre
  • Thomas Kropf
Conference proceedings CHARME 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1703)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. Proof of Microprocessors

  4. Model Checking

    1. Yuan Yu, Panagiotis Manolios, Leslie Lamport
      Pages 54-66
    2. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
      Pages 67-81
    3. Orna Kupferman, Moshe Y. Vardi
      Pages 82-98
  5. Formal Methods and Industrial Applications

  6. Abstraction and Compositional Techniques

  7. Theorem Proving Related Approaches

    1. Christian Blumenröhr, Viktor Sabelfeld
      Pages 187-202
    2. Mark D. Aagaard, Thomas F. Melham, John W. O’Leary
      Pages 202-218
  8. Symbolic Simulation/Symbolic Traversal

    1. Gerd Ritter, Hans Eveking, Holger Hinrichsen
      Pages 238-250
    2. Kavita Ravi, Fabio Somenzi
      Pages 250-266
  9. Specification Languages and Methodologies

    1. E. M. Clarke, M. Fujita, S. P. Rajan, T. Reps, S. Shankar, T. Teitelbaum
      Pages 298-313
  10. Posters

    1. Jun Sawada, Warren A. Hunt Jr.
      Pages 313-316
    2. Husnu Yenigun, Vladimir Levin, Doron Peled, Peter A. Beerel
      Pages 317-321
    3. Klaus Schneider
      Pages 321-326
    4. George Economakos, George Papakonstantinou
      Pages 330-333
    5. Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
      Pages 334-337
    6. Kathi Fisler, Moshe Y. Vardi
      Pages 338-342
    7. Nancy A. Day, Jeffrey R. Lewis, Byron Cook
      Pages 346-349
    8. Aarti Gupta, Pranav Ashar, Sharad Malik
      Pages 350-355
    9. Jens Chr. Godskesen
      Pages 356-359
    10. Klaus Schneider, Michaela Huhn, George Logothetis
      Pages 360-365
  11. Back Matter
    Pages 365-366

About these proceedings


CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G´erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.


Hardware formal method microprocessor model model checking simulation theorem proving verification

Editors and affiliations

  • Laurence Pierre
    • 1
  • Thomas Kropf
    • 2
  1. 1.CMI/Université de ProvenceMarseille Cedex 13France
  2. 2.Technische InformatikUniversität TübingenTübingenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66559-5
  • Online ISBN 978-3-540-48153-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment