kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
141 stars
14 watching
24 forks
Language: Coq
last commit: 7 months ago
Linked from 1 awesome list
bluespeccoqhardware-description-languagehardware-verificationproof-assistant
uhub/awesome-coq