Kami: A Platform for Hardware Specification and Verification
github.com