TY  - RPRT
TI  - Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
AU  - Riley Roberts
AU  - Benjamin Lewis
AU  - Arnd Hartmanns
AU  - Prabal Basu
AU  - Sanghamitra Roy
AU  - Koushik Chakraborty
AU  - Zhen Zhang
PY  - 2021
UR  - https://arxiv.org/abs/2108.13148
ID  - 2108.13148
ER  -