PATARA: Extension of a Verification Framework for RISC-V Instruction Set Implementations. - Sven Gesper; Fabian Stuckmann; Lucy Wöbbekind; Guillermo Payá-Vayá (SAMOS, 2023)