Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1703)
Included in the following conference series:
Conference proceedings info: CHARME 1999.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (34 papers)
-
Front Matter
-
Proof of Microprocessors
-
Formal Methods and Industrial Applications
-
Symbolic Simulation/Symbolic Traversal
Other volumes
-
Correct Hardware Design and Verification Methods
Editors and Affiliations
Bibliographic Information
Book Title: Correct Hardware Design and Verification Methods
Book Subtitle: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Editors: Laurence Pierre, Thomas Kropf
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-48153-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1999
Softcover ISBN: 978-3-540-66559-5Published: 15 September 1999
eBook ISBN: 978-3-540-48153-9Published: 31 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 376
Topics: Computer System Implementation, Computer Engineering, Computer Hardware, Logics and Meanings of Programs, Software Engineering, Complexity