{"evidence_level":"功能执行","source":["rtl/rv32i_core.sv","rtl/testbench.sv"],"synthesis":false,"sta":false,"fpga":false,"riscv_formal":false,"simulation":"NOT_RUN: iverilog/vvp unavailable on current host; historical Icarus 13 PASS remains in rtl-tool.md","executed_now":false}