TY  - RPRT
TI  - NoC-Out: A Formally-verified Network-on-Chip Library for Rule-based Hardware Designs
AU  - Max Kurze
AU  - František Farka
AU  - Sebastian Ertel
PY  - 2026
UR  - https://arxiv.org/abs/2608.24478
ID  - 2608.24478
ER  -