Skip to main content
SpringerLink
Log in

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Mandayam Srivas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Albert Camilleri
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FMCAD 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. The need for formal methods for integrated circuit design

    • Kurt Keutzer
    Pages 1-18

  3. Verification of all circuits in a floating-point unit using word-level model checking

    • Yirng-An Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira et al.
    Pages 19-33

  4. *BMDs can delay the use of theorem proving for verifying arithmetic assembly instructions

    • Laurent Arditi
    Pages 34-48

  5. Modular verification of multipliers

    • Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
    Pages 49-63

  6. Verification of IEEE compliant subtractive division algorithms

    • Paul S. Miner, James F. Leathrum Jr.
    Pages 64-78

  7. Hierarchical verification of two-dimensional high-speed multiplication in PVS: A case study

    • Harald Rueß
    Pages 79-93

  8. Experiments in automating hardware verification using inductive proof planning

    • Francisco J. Cantu, Alan Bundy, Alan Smaill, David Basin
    Pages 94-108

  9. Verifying nondeterministic implementations of deterministic systems

    • Alok Jain, Kyle Nelson, Randal E. Bryant
    Pages 109-125

  10. A methodology for processor implementation verification

    • Daniel Lewin, Dean Lorenz, Shmuel Ur
    Pages 126-142

  11. Coverage-directed test generation using symbolic techniques

    • Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
    Pages 143-158

  12. Self-consistency checking

    • Robert B. Jones, Carl-Johan H. Seger, David L. Dill
    Pages 159-171

  13. Inverting the abstraction mapping: A methodology for hardware verification

    • David Cyrluk
    Pages 172-186

  14. Validity checking for combinations of theories with equality

    • Clark Barrett, David Dill, Jeremy Levitt
    Pages 187-201

  15. A unified approach for combining different formalisms for hardware verification

    • Klaus Schneider, Thomas Kropf
    Pages 202-217

  16. Verification using uninterpreted functions and finite instantiations

    • Ramin Hojati, Adrian Isles, Desmond Kirkpatrick, Robert K. Brayton
    Pages 218-232

  17. Formal verification of the Island Tunnel Controller using Multiway Decision Graphs

    • Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella, M. Langevin
    Pages 233-247

  18. VIS

    • Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng et al.
    Pages 248-256

  19. PVS: Combining specification, proof checking, and model checking

    • N. Shankar
    Pages 257-264

  20. HOL Light: A tutorial introduction

    • John Harrison
    Pages 265-269
Back to top

Other volumes

  1. Formal Methods in Computer-Aided Design

Keywords

About this book

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation