equivalence-checker

There are 10 repositories under equivalence-checker topic.

cda-tum/mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
Language:C++96 6 4621
sdasgup3/validating-binary-decompilation
Scalable Validator for Binary Lifters
Language:LLVM54 8 258
bchurchill/pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
Language:C++37 5 010
amamory-verification/hw-formal-verif
Hardware Formal Verification
Language:Verilog15 2 23
can-lehmann/pathbeaver
Symbolic execution of LLVM IR
Language:C++13 2 21
benkeks/equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
Language:Scala4 2 01
Pritam-Sethuraman/USB-Core
Language:VHDL1 1 00
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.
Language:Python00
ningit/ctxform
Equivalence checker for contextual formulas
Language:Python0 1 00
akashdotsrivastava/compare-css
Test whether two pieces of CSS text are equivalent in browser
Language:JavaScript1 0