Skip to main content
SpringerLink
Log in
Book cover

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Alan J. Hu

    1. Computer Science Department, University of British Columbia,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrew K. Martin

    1. IBM Austin Research Laboratory, Austin, USA

    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 3312)

Included in the following conference series:

Conference proceedings info: FMCAD 2004.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (30 papers)

  1. Front Matter

    Download chapter PDF

  2. Challenges in System-Level Design

    • Wayne Wolf
    Pages 1-5

  3. Generating Fast Multipliers Using Clever Circuits

    • Mary Sheeran
    Pages 6-20

  4. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques

    • Thao Dang, Alexandre Donzé, Oded Maler
    Pages 21-36

  5. A Methodology for the Formal Verification of FFT Algorithms in HOL

    • Behzad Akbarpour, Sofiène Tahar
    Pages 37-51

  6. A Functional Approach to the Formal Specification of Networks on Chip

    • Julien Schmaltz, Dominique Borrione
    Pages 52-66

  7. Proof Styles in Operational Semantics

    • Sandip Ray, J. Strother Moore
    Pages 67-81

  8. Integrating Reasoning About Ordinal Arithmetic into ACL2

    • Panagiotis Manolios, Daron Vroon
    Pages 82-97

  9. Combining Equivalence Verification and Completion Functions

    • Mark D. Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati
    Pages 98-112

  10. Synchronization-at-Retirement for Pipeline Verification

    • Mark D. Aagaard, Nancy A. Day, Robert B. Jones
    Pages 113-127

  11. Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs

    • Laurent Arditi, Gerard Berry, Michael Kishinevsky
    Pages 128-143

  12. Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders

    • In-Ho Moon, Carl Pixley
    Pages 144-158

  13. Scalable Automated Verification via Expert-System Guided Transformations

    • Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
    Pages 159-173

  14. Simple Yet Efficient Improvements of SAT Based Bounded Model Checking

    • Emmanuel Zarpas
    Pages 174-185

  15. Simple Bounded LTL Model Checking

    • Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila
    Pages 186-200

  16. QuBE++: An Efficient QBF Solver

    • Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
    Pages 201-213

  17. Bounded Probabilistic Model Checking with the Murφ Verifier

    • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Pages 214-229

  18. Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States

    • Mohammad Awedh, Fabio Somenzi
    Pages 230-244

  19. Bounded Verification of Past LTL

    • Alessandro Cimatti, Marco Roveri, Daniel Sheridan
    Pages 245-259

  20. A Hybrid of Counterexample-Based and Proof-Based Abstraction

    • Nina Amla, Ken L. McMillan
    Pages 260-274
Back to top

Other volumes

  1. Formal Methods in Computer-Aided Design

Keywords

Editors and Affiliations

  • Computer Science Department, University of British Columbia,  

    Alan J. Hu

  • IBM Austin Research Laboratory, Austin, USA

    Andrew K. Martin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation