Kami: A Framework for (RISC -V) HW Verification

Kami Verification Framework • DSL in the Coq Proof Assistant for verifying Bluespec-style H/W – Embodies the modular verification semantics

  Verification, Framework, A framework for, Icsr, Akim, Risc v, Hw verification