kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
141 stars
14 watching
24 forks
Language: Coq
last commit: 12 days ago
Linked from 2 awesome lists
bluespeccoqhardware-description-languagehardware-verificationproof-assistant
aolofsson/awesome-opensource-hardware
uhub/awesome-coq