koika

A core language for rule-based hardware design 🦑

139 stars

24 watching

9 forks

Language: Coq

last commit: 21 days ago

compilationcoqformal-methodshardware-description-languageprogramming-languagessemantics