ProcKami

Kami based processor implementations and specifications

22 stars

60 watching

3 forks

Language: Coq

last commit: over 4 years ago

coqformal-verificationhardwarehardware-designsriscvriscv-simulator