Probabilistic Verification for Reliable Network-on-Chip System Design

Author(s):  
Benjamin Lewis ◽  
Arnd Hartmanns ◽  
Prabal Basu ◽  
Rajesh Jayashankara Shridevi ◽  
Koushik Chakraborty ◽  
...  
2021 ◽  
pp. 232-248
Author(s):  
Riley Roberts ◽  
Benjamin Lewis ◽  
Arnd Hartmanns ◽  
Prabal Basu ◽  
Sanghamitra Roy ◽  
...  

2018 ◽  
Vol 67 (4) ◽  
pp. 528-542 ◽  
Author(s):  
Kanchan Manna ◽  
Priyajit Mukherjee ◽  
Santanu Chattopadhyay ◽  
Indranil Sengupta

2014 ◽  
Vol 35 (2) ◽  
pp. 341-346
Author(s):  
Xiao-fu Zheng ◽  
Hua-xi Gu ◽  
Yin-tang Yang ◽  
Zhong-fan Huang

Sign in / Sign up

Export Citation Format

Share Document