Static instrumentation tool for efficient binary-level coverage analysis.
Galois RISC-V ISA Formal Tools