Formal Methods in Computer-Aided Design

Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

  • Ganesh Gopalakrishnan
  • Phillip Windley

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

Table of contents

  1. Front Matter
    Pages I-IX
  2. Robert B. Jones, Jens U. SkakkebÆk, David L. Dill
    Pages 2-17
  3. M. Oliver Möller, Harald Rue\
    Pages 36-48
  4. ásgeir þór Eiríksson
    Pages 49-63
  5. Mary Sheeran, Gunnar Stålmarck
    Pages 82-99
  6. Macha NikolskaÏa, Antoine Rauzy, David James Sherman
    Pages 100-114
  7. S. Ta§iran, S. P. Khatri, S. Yovine, R. K. Brayton, A. Sangiovanni-Vincentelli
    Pages 149-166
  8. Carl-Johan H. Seger
    Pages 203-203
  9. Thomas Lock, Michael Mendler, Matthias Mutz
    Pages 222-236
  10. Abdel Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan
    Pages 237-254
  11. Bwolen Yang, Randal E. Bryant, David R. O’Hallaron, Armin Biere, Olivier Coudert, Geert Janssen et al.
    Pages 255-289
  12. Gila Kamhi, Limor Fix, Ziv Binyamini
    Pages 290-302

About these proceedings

Keywords

Symbol VLSI computer-aided design (CAD) formal method formal verification model model checking simulation verification

Editors and affiliations

  • Ganesh Gopalakrishnan
    • 1
  • Phillip Windley
    • 2
  1. 1.Department of Computer ScienceUniversity of UtahSalt Lake CityUSA
  2. 2.Department of Computer ScienceBrigham Young UniversityProvoUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49519-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65191-8
  • Online ISBN 978-3-540-49519-2
  • Series Print ISSN 0302-9743
  • About this book