NO.003: RISC-V Processor Core Verification Based on Open Source Tools