2 months ago11 viewstechnologyprocessor-verificationrisc-vA video demonstrating the functional verification of a RISC-V processor using the PATARA method at TU Braunschweig.