Introduction to formal hardware verification
The book of Thomas Kropf is a wonderful introduction to formal hardware verification suitable for both students and experts. It covers the present state-of-the art in formal verification, in particular combinational and sequential equivalence checking using binary decision diagrams and formal verification using propositional temporal logics and symbolic model checking. The book includes all the mathematical basics required to understand the concepts, statements, and proofs. It comprises the formal basics of temporal structures, mathematical basics as e.g. lattice theory, and efficient fixpoint computation. It may be said that this book is the first textbook on formal hardware verification which can be used in classes.
- A satisfiability procedure for quantified Boolean formulae
- Verification and enforcement of access control policies
- A symbolic algorithm for lazy synthesis of eager strategies
- System-on-a-chip verification. Methodology and techniques
- Hardware equivalence and property verification
- Introduction to model checking
- On Formal Equivalence Verification of Hardware
- Implementation of supervisory control using extended finite-state machines
- scientific article; zbMATH DE number 3991418 (Why is no real title available?)
- An approach for lifetime reliability analysis using theorem proving
- scientific article; zbMATH DE number 50156 (Why is no real title available?)
- scientific article; zbMATH DE number 139822 (Why is no real title available?)
- scientific article; zbMATH DE number 514046 (Why is no real title available?)
- A methodology for hardware verification based on logic simulation
- scientific article; zbMATH DE number 732939 (Why is no real title available?)
- scientific article; zbMATH DE number 2005590 (Why is no real title available?)
- scientific article; zbMATH DE number 2080912 (Why is no real title available?)
- Formal system verification. State-of the-art and future trends
- scientific article; zbMATH DE number 2111140 (Why is no real title available?)
- scientific article; zbMATH DE number 1400095 (Why is no real title available?)
- LCF-style Platform based on Multiway Decision Graphs
- Formal verification of floating-point hardware design. A mathematical approach
- SAT-Based Scalable Formal Verification Solutions
- Digital hardware/software-systems. Specification and verification.
- Formal verification of three-valued digital waveforms
- Formal Methods for Hardware Verification
- Higher Order Logic and Hardware Verification
- Formal Verification of Structurally Complex Multipliers
- Data structures for symbolic multi-valued model-checking
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
- Thread-parallel integrated test pattern generator utilizing satisfiability analysis
This page was built for publication: Introduction to formal hardware verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4261335)
