#

equivalence-checker

Here are 10 public repositories matching this topic...

cda-tum / mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

python tum verification quantum-computing cpp17 decision-diagrams quantum-circuits mqt equivalence-checker jku zx-calculus

Updated Nov 4, 2024
C++

sdasgup3 / validating-binary-decompilation

Scalable Validator for Binary Lifters

validation x86-64 decompilation llvm-ir z3-smt-solver compositional equivalence-checker

Updated Jun 28, 2020
LLVM

bchurchill / pldi19-equivalence-checker

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

x86-64 formal-verification equivalence-checker

Updated Apr 2, 2020
C++

amamory-verification / hw-formal-verif

Hardware Formal Verification

vhdl model-checking systemverilog formal-verification fault-simulation equivalence-checker jasper-gold

Updated Aug 10, 2020
Verilog

can-lehmann / pathbeaver

Symbolic execution of LLVM IR

llvm symbolic-execution formal-verification equivalence-checker

Updated Jan 3, 2024
C++

benkeks / equivalence-fiddle

Tool for finding the best ways of equating / preordering / distinguishing finite process models.

model-checking equivalence-relations system-analysis equivalence-checker hennessy-milner-logic

Updated Oct 16, 2024
Scala

Pritam-Sethuraman / USB-Core

vhdl synopsys formal-verification formality design-vision equivalence-checker cadence-conformal

Updated Jun 9, 2023
VHDL

akashdotsrivastava / compare-css

Test whether two pieces of CSS text are equivalent in browser

css comparison-tool equivalence-checker

Updated Feb 20, 2022
JavaScript

ningit / ctxform

Equivalence checker for contextual formulas

temporal-logic propositional-logic equivalence-checker

Updated Aug 31, 2024
Python

ahmd-kamel / ROBDD-Based-Equivalence-Checker

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

Improve this page

Add a description, image, and links to the equivalence-checker topic page so that developers can more easily learn about it.

Curate this topic

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."