Formal Methods in Computer-Aided Design

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Challenges in System-Level Design
3. Altmetric Badge
   Chapter 2 Generating Fast Multipliers Using Clever Circuits
4. Altmetric Badge
   Chapter 3 Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
5. Altmetric Badge
   Chapter 4 A Methodology for the Formal Verification of FFT Algorithms in HOL
6. Altmetric Badge
   Chapter 5 A Functional Approach to the Formal Specification of Networks on Chip
7. Altmetric Badge
   Chapter 6 Proof Styles in Operational Semantics
8. Altmetric Badge
   Chapter 7 Integrating Reasoning About Ordinal Arithmetic into ACL2
9. Altmetric Badge
   Chapter 8 Combining Equivalence Verification and Completion Functions
10. Altmetric Badge
    Chapter 9 Synchronization-at-Retirement for Pipeline Verification
11. Altmetric Badge
    Chapter 10 Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs
12. Altmetric Badge
    Chapter 11 Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders
13. Altmetric Badge
    Chapter 12 Scalable Automated Verification via Expert-System Guided Transformations
14. Altmetric Badge
    Chapter 13 Simple Yet Efficient Improvements of SAT Based Bounded Model Checking
15. Altmetric Badge
    Chapter 14 Simple Bounded LTL Model Checking
16. Altmetric Badge
    Chapter 15 QuBE++ : An Efficient QBF Solver
17. Altmetric Badge
    Chapter 16 Bounded Probabilistic Model Checking with the Mur φ Verifier
18. Altmetric Badge
    Chapter 17 Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States
19. Altmetric Badge
    Chapter 18 Bounded Verification of Past LTL
20. Altmetric Badge
    Chapter 19 A Hybrid of Counterexample-Based and Proof-Based Abstraction
21. Altmetric Badge
    Chapter 20 Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
22. Altmetric Badge
    Chapter 21 Approximate Symbolic Model Checking for Incomplete Designs
23. Altmetric Badge
    Chapter 22 Extending Extended Vacuity
24. Altmetric Badge
    Chapter 23 Parameterized Vacuity
25. Altmetric Badge
    Chapter 24 An Operational Semantics for Weak PSL
26. Altmetric Badge
    Chapter 25 Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking
27. Altmetric Badge
    Chapter 26 Bloom Filters in Probabilistic Verification
28. Altmetric Badge
    Chapter 27 A Simple Method for Parameterized Verification of Cache Coherence Protocols
29. Altmetric Badge
    Chapter 28 A Partitioning Methodology for BDD-Based Verification
30. Altmetric Badge
    Chapter 29 Invariant Checking Combining Forward and Backward Traversal
31. Altmetric Badge
    Chapter 30 Variable Reuse for Efficient Image Computation