Sven Gesper, Fabian Stuckmann, Lucy Wöbbekind, Guillermo Payá Vayá. PATARA: Extension of a Verification Framework for RISC-V Instruction Set Implementations. In Cristina Silvano, Christian Pilato, Marc Reichenbach, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation - 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings. Volume 14385 of Lecture Notes in Computer Science, pages 225-240, Springer, 2023. [doi]
Abstract is missing.