search

sifive / Kami

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
Apache License 2.0
197 stars 11 forks source link

Issue 130 #133

Open vmurali opened 4 years ago

vmurali commented 4 years ago

New PR from Larry's repo