keplertech/kepler-formal
View on GitHub ↗ ★ 120 C++
Digital Design Equivalence Checking
4 mentions on Hacker News by 1 person: 3 stories, 1 comment · first 2026-02-13 · latest 2026-08-12
20082026
-
…a C++ core and multi threaded LEC solution that is already adopted by the leaders of the ecosystem: https://github.com/keplertech/kepler-formal We are looking for feedback in order to make it as best as possible for all of you. So feel…
comment by nanocoh · 2026-02-13 · in Chip Design – New Open Source LEC(Logic Equivalence Checking)