一个双发射的RISC-V核，支持整数和乘除法指令，支持分支预测和ICache fm : 形式验证 syn : 逻辑综合 verify: 功能验证（随机指令测试）