However, the risk of using RISC-V ISA is higher because the proven processor verification flow is still proprietary to established ... the RISC-V RTL IP blocks using the formal verification EDA tool.