Scaling up livelock verification for network-on-chip routing algorithms (Q2152663)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Scaling up livelock verification for network-on-chip routing algorithms |
scientific article |
Statements
Scaling up livelock verification for network-on-chip routing algorithms (English)
0 references
8 July 2022
0 references
network-on-chip
0 references
fault-tolerant routing
0 references
model checking
0 references
property-directed reachability
0 references
