Convert Simulator README to adoc

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

Convert Simulator README to adoc #115

Closed gliptak closed 4 years ago

gliptak commented 4 years ago

https://github.com/sifive/Kami/issues/27

gliptak commented 4 years ago

@sifive please review

vmurali commented 4 years ago

Thank you!