SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core | IEEE Conference Publication | IEEE Xplore