@misc{indiciae9dc9474d3f80,
  title = {SafeLS: Toward Building a Lockstep NOEL-V Core},
  author = {Marcel Sarraseca and Sergi Alcaide and Francisco Fuentes and Juan Carlos Rodriguez and Feng Chang and Ilham Lasfar and Ramon Canal and Francisco J. Cazorla and Jaume Abella},
  year = {2023},
  url = {https://arxiv.org/abs/2307.15436},
  note = {Source identifier: 2307.15436}
}