scholarly journals Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

2007 ◽  
Author(s):  
Gwen Salaun ◽  
Wendelin Serwe ◽  
Yvain Thonnart ◽  
Pascal Vivet
Keyword(s):  
Formal Verification ◽  
Network On Chip ◽  
Asynchronous Network ◽  
On Chip

Investigation of transient fault effects in synchronous and asynchronous Network on Chip router

2011 ◽  
Vol 57 (1) ◽  
pp. 61-68 ◽  
Author(s):  
Pooria M. Yaghini ◽  
Ashkan Eghbal ◽  
Hossein Pedram ◽  
Hamid Reza Zarandi
Keyword(s):  
Network On Chip ◽  
Transient Fault ◽  
Asynchronous Network ◽  
On Chip

Power analysis for asynchronous network-on-chip

2013 ◽  
Vol 8 (S1) ◽  
pp. S72-S80
Author(s):  
Mohamed A. Abd El Ghany ◽  
Gursharan Reehal ◽  
Mohammed Ismail
Keyword(s):  
Power Analysis ◽  
Network On Chip ◽  
Asynchronous Network ◽  
On Chip

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
Sign in / Sign up

Export Citation Format

Share Document