issues
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
Reflection2
#108
Open
kendroe
opened
4 years ago
kendroe
commented
4 years ago
Changes to stratify rewrite
Changes to stratify rewrite