keplertech / REPOSITORY
kepler-formal
Open source HW equivalence checking tool at both RTL and gate level
Developer toolsLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
1Top HN score
1Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE