Logic circuit analysis and optimization
-
Updated
Feb 2, 2026 - Rust
#
equivalence-checking
Here are 6 public repositories matching this topic...
A Web-based tool that helps analyze the correctness and equivalence of programs using formal methods.
react static-analysis wasm symbolic-execution z3 formal-methods pegjs smt program-verification vite equivalence-checking
-
Updated
Jun 24, 2025 - JavaScript
Context-verified, error-budget-aware decomposition selection for Toffoli networks. Companion code to arXiv:2606.31791 (Bartkiewicz & Tulewicz, submitted to Quantum).
-
Updated
Jul 1, 2026 - Python
-
Updated
Mar 29, 2026 - Haskell
Lean formalization of how behavioral equivalence checking can be generalized through abstract intrepretation
-
Updated
Jun 25, 2026 - TeX
Combinational logic equivalence check: two gate-level netlists in, an equivalence verdict (with counter-example) out.
rust digital bdd eda formal-verification semiconductor eda-tools equivalence-checking vyges open-silicon vyges-loom
-
Updated
Jun 29, 2026 - Rust
Improve this page
Add a description, image, and links to the equivalence-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the equivalence-checking topic, visit your repo's landing page and select "manage topics."