RISC-V Formal Interface (RVFI) - RISC-V Formal documentation
yosyshq.readthedocs.io