@misc{indiciae90a9fab55287,
  title = {NoC-Out: A Formally-verified Network-on-Chip Library for Rule-based Hardware Designs},
  author = {Max Kurze and František Farka and Sebastian Ertel},
  year = {2026},
  url = {https://arxiv.org/abs/2608.24478},
  note = {Source identifier: 2608.24478}
}