keplertech/kepler-formal
Digital Design Equivalence Checking
2 best points · 3 comments · 3 Hacker News posts · 114 GitHub stars · View on GitHub
Hacker News discussions
- Chip Design – New Open Source LEC(Logic Equivalence Checking) (2 points, 1 comments, by nanocoh, 2026-02-13)
- Open source HW equivalence checking tool at both RTL and gate level (1 points, 1 comments, by nanocoh, 2026-07-04)
- Open Source Equivalence Checking Tool for FPGA Design (1 points, 1 comments, by nanocoh, 2026-08-12)