- Tytuł:
- Formal analysis of destination reachability under given restrictions for multi-path routing in Network on Chip
- Autorzy:
- Dziurzański, P.
- Data publikacji:
- 2012
- Słowa kluczowe:
-
sieci wewnątrzukładowe
logika temporalna
drzewo obliczeń
osiągalność stanu
network on chip
NoC
temporal logic
computation tree
state reachability - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł