2 papers
cs.LO2025
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…
cs.NI2021
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
Riley Roberts, Benjamin Lewis, Arnd Hartmanns +4
Modern network-on-chip (NoC) systems face reliability issues due to process and environmental variations. The power supply noise (PSN) in the power delivery network of a NoC plays…