NoC-Out: A Formally-verified Network-on-Chip Library for Rule-based Hardware Designs

Max Kurze, František Farka, Sebastian Ertel

The Network-on-Chip (NoC) is the communication backbone of any multiprocessor chip. A failure of the NoC has severe consequences for the whole system. Yet, no approach exists that…