MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
-
Updated
Sep 1, 2026 - C++
#
equivalence-checker
Here are 15 public repositories matching this topic...
Scalable Validator for Binary Lifters
-
Updated
Jun 28, 2020 - LLVM
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
-
Updated
Apr 2, 2020 - C++
Hardware Formal Verification
vhdl model-checking systemverilog formal-verification fault-simulation equivalence-checker jasper-gold
-
Updated
Aug 10, 2020 - Verilog
Symbolic execution of LLVM IR
-
Updated
Jan 3, 2024 - C++
Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts
smart-contracts solidity invariants difference semantic-analysis rewrite-rules semantic-equivalence equivalence-checker
-
Updated
Dec 15, 2025 - Solidity
Parallel Quantum Simulation and Automated Reasoning on GPUs
simulation quantum parallel-computing gpu-computing measurements equivalence-checker clifford-circuits stabilizer-circuits
-
Updated
Aug 25, 2026 - Cuda
equiv.io is a tool for finding the best ways of equating / preordering / distinguishing finite process models.
-
Updated
Mar 5, 2026 - Scala
-
Updated
Jun 9, 2023 - VHDL
Equivalence checker for contextual formulas
-
Updated
Aug 31, 2024 - Python
Test whether two pieces of CSS text are equivalent in browser
-
Updated
Feb 20, 2022 - JavaScript
An equivalence checker for P4 packet parsers, implemented in Python.
-
Updated
Aug 9, 2026 - P4
An equivalence checker for Dafny functions
-
Updated
Jun 22, 2026 - HTML
Testing boolean expressions for equivalence
python3 circuit-simulation boolean-algebra symbolic-computation sat cxx11 equivalence-checker cadical
-
Updated
Aug 16, 2026 - C++
Designing Equivalence Checker based on ROBDD algorithm, the engine input will be 2 boolean functions and results will be ROBDD graphs with equivalence or non-equivalence results.
parser-combinators graph-algorithms eda recursion synthesis boolean-expression robdd equivalence-checker
-
Updated
Sep 25, 2024 - Python
Add this topic to your repo
To associate your repository with the equivalence-checker topic, visit your repo's landing page and select "manage topics."