Towards the formal verification of security properties of a Network-on-Chip router

2018 ◽  
Author(s):  
Johanna Sepulveda ◽  
Damian Aboul-Hassan ◽  
Georg Sigl ◽  
Bernd Becker ◽  
Matthias Sauer
Keyword(s):  
Formal Verification ◽  
Network On Chip ◽  
Security Properties ◽  
On Chip

Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS

2018 ◽  
pp. 293-308
Author(s):  
Luiza Gheorghe lugan ◽  
Gabriela Nicolescu ◽  
Ian O’Connor
Keyword(s):  
Formal Verification ◽  
Optical Network ◽  
Network On Chip ◽  
On Chip

Pre-allocated Path Based Low Latency Router Architecture for Network-on-chip

2014 ◽  
Vol 35 (2) ◽  
pp. 341-346
Author(s):  
Xiao-fu Zheng ◽  
Hua-xi Gu ◽  
Yin-tang Yang ◽  
Zhong-fan Huang
Keyword(s):  
Network On Chip ◽  
Low Latency ◽  
Router Architecture ◽  
On Chip
Sign in / Sign up

Export Citation Format

Share Document