Introduction
Design verification of RISC-V processors presents unique challenges. The RISC-V ISA’s modular design and wide range of optional extensions enable flexibility but also introduce significant verification complexity [1]. Achieving comprehensive coverage typically requires more than one verification/comparison methodology, and always...