PrototypeCommon
keplertech/kepler-formal
Digital Design Equivalence Checking
- Owner
- keplertech (organization)
- Stars
- Stars: 114
- Forks
- Forks: 15
- Language
- C++
- License
- Apache-2.0
- Created
- 2025
- Topics
- asicedaformal-verificationfpgachip-designsemiconductorasic-designasic-verificationequivalence-checkinglec
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by keplertech
All 2 repos by keplertech- keplertech/najaStars: 168VerilogPrototype
Nearby in C++
All C++ repos- 2dom/keypadStars: 114C++Prototype
- swellweb/reameStars: 114C++Prototype
- helloyork/shittim-logonStars: 114C++Prototype
- vicaya/hypertableStars: 114C++Prototype
- apache/activemq-cppStars: 114C++Prototype
- vavrusa/libusbnetStars: 114C++Prototype