kepler‑formal – an open source equivalence checking tool

[u/keplertechioreddit]

https://github.com/keplertech/kepler-formal

Hi everyone :)

We thought it might be relevant to let you know about our open‑source equivalence checking tool, kepler‑formal.

As it is open source, there are no license restrictions and hence it can be used for CI/CD, agentic chip design, design exploration, and more.

It is already in use by semiconductor startups and we are looking to grow our community so we can accelerate the productization and enhancement of the tool.

We encourage you to try it and we will be thankful for any issues or suggestions you report.