↓ Skip to main content

Correct Hardware Design and Verification Methods

Overview of attention for book
Cover of 'Correct Hardware Design and Verification Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What Is beyond the RTL Horizon for Microprocessor and System Design?
  3. Altmetric Badge
    Chapter 2 The Charm e of Abstract Entities
  4. Altmetric Badge
    Chapter 3 The PSL/Sugar Specification Language A Language for all Seasons
  5. Altmetric Badge
    Chapter 4 Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular
  6. Altmetric Badge
    Chapter 5 Predicate Abstraction with Minimum Predicates
  7. Altmetric Badge
    Chapter 6 Efficient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning
  8. Altmetric Badge
    Chapter 7 Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP
  9. Altmetric Badge
    Chapter 8 A Hazards-Based Correctness Statement for Pipelined Circuits
  10. Altmetric Badge
    Chapter 9 Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
  11. Altmetric Badge
    Chapter 10 On Complementing Nondeterministic Büchi Automata
  12. Altmetric Badge
    Chapter 11 Coverage Metrics for Formal Verification
  13. Altmetric Badge
    Chapter 12 “More Deterministic” vs. “Smaller” Büchi Automata for Efficient LTL Model Checking
  14. Altmetric Badge
    Chapter 13 An Optimized Symbolic Bounded Model Checking Engine
  15. Altmetric Badge
    Chapter 14 Constrained Symbolic Simulation with Mathematica and ACL2
  16. Altmetric Badge
    Chapter 15 Semi-formal Verification of Memory Systems by Symbolic Simulation
  17. Altmetric Badge
    Chapter 16 CTL May Be Ambiguous When Model Checking Moore Machines
  18. Altmetric Badge
    Chapter 17 Reasoning about GSTE Assertion Graphs
  19. Altmetric Badge
    Chapter 18 Towards Diagrammability and Efficiency in Event Sequence Languages
  20. Altmetric Badge
    Chapter 19 Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving
  21. Altmetric Badge
    Chapter 20 On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking
  22. Altmetric Badge
    Chapter 21 On the Correctness of an Intrusion-Tolerant Group Communication Protocol
  23. Altmetric Badge
    Chapter 22 Exact and Efficient Verification of Parameterized Cache Coherence Protocols
  24. Altmetric Badge
    Chapter 23 Design and Implementation of an Abstract Interpreter for VHDL
  25. Altmetric Badge
    Chapter 24 A Programming Language Based Analysis of Operand Forwarding
  26. Altmetric Badge
    Chapter 25 Integrating RAM and Disk Based Verification within the Mur ϕ Verifier
  27. Altmetric Badge
    Chapter 26 Design and Verification of CoreConnect TM IP Using Esterel
  28. Altmetric Badge
    Chapter 27 Inductive Assertions and Operational Semantics
  29. Altmetric Badge
    Chapter 28 A Compositional Theory of Refinement for Branching Time
  30. Altmetric Badge
    Chapter 29 Linear and Nonlinear Arithmetic in ACL2
  31. Altmetric Badge
    Chapter 30 Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking
  32. Altmetric Badge
    Chapter 31 Convergence Testing in Term-Level Bounded Model Checking
  33. Altmetric Badge
    Chapter 32 The ROBDD Size of Simple CNF Formulas
  34. Altmetric Badge
    Chapter 33 Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems
  35. Altmetric Badge
    Chapter 34 Finite Horizon Analysis of Markov Chains with the Mur ϕ Verifier
  36. Altmetric Badge
    Chapter 35 Improved Symbolic Verification Using Partitioning Techniques
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Correct Hardware Design and Verification Methods
Published by
Springer Berlin Heidelberg, October 2003
DOI 10.1007/b93958
ISBNs
978-3-54-020363-6, 978-3-54-039724-3
Editors

Geist, Daniel, Tronci, Enrico

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.