Research
RISC-V Micro-Architectural Verification - Semiconductor Engineering
Abstract
Verifying complex, customizable RISC-V cores at the micro-architectural level presents significant challenges, moving beyond simple ISA compliance to confirm the functional correctness of features like pipelines and caches. The article stresses the