Equivalence checking using structural methods
From MaRDI portal
Recommendations
- Model checking and equivalence checking
- scientific article; zbMATH DE number 1191738
- Equivalence Checking of Non-deterministic Operations
- On an equivalence checking technique for algebraic models of programs
- scientific article; zbMATH DE number 1138598
- scientific article; zbMATH DE number 4018369
- Model-checking process equivalences
- Model-checking process equivalences
- Structure and Equivalence
Cited in
(16)- Equivalence checking of digital circuits in an industrial environment
- Industrial experience with formal verification
- Hardware equivalence and property verification
- Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions
- Functional Verification of Power Gated Designs by Compositional Reasoning
- Model checking and equivalence checking
- Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram
- scientific article; zbMATH DE number 1191738 (Why is no real title available?)
- scientific article; zbMATH DE number 1796129 (Why is no real title available?)
- scientific article; zbMATH DE number 2148626 (Why is no real title available?)
- Structure and Equivalence
- Verification of Equivalent-Results Methods
- A flip-flop matching engine to verify sequential optimizations
- Formal Methods in Computer-Aided Design
- Correct Hardware Design and Verification Methods
- Theory and Applications of Satisfiability Testing
This page was built for publication: Equivalence checking using structural methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2783110)
