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