Probabilistic Verification for Reliable Network-on-Chip System Design.

Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang

Browse the full FMICS paper archive.