SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core

Marcel Sarraseca, Sergi Alcaide, Francisco Fuentes, Juan Carlos Rodriguez, Feng Chang, Ilham Lasfar, Ramon Canal, Francisco J. Cazorla, Jaume Abella 0001. SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core. In Alessandro Savino, Michail Maniatakos, Stefano Di Carlo, Dimitris Gizopoulos, editors, 29th International Symposium on On-Line Testing and Robust System Design, IOLTS 2023, Crete, Greece, July 3-5, 2023. pages 1-7, IEEE, 2023. [doi]

Abstract

Abstract is missing.