Probabilistic Verification for Modular Network-on-Chip Systems (extended version)

Nick Waddoups, Jonah Boe, Arnd Hartmanns +4

Quantitative verification can provide deep insights into reliable Network-On-Chip (NoC) designs. It is critical to understanding and mitigating operational issues caused by power s…