Formal Verification of the Cache System in the RISC-V Core