Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.

Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Browse the full FMICS paper archive.