Formal Specification and Verification of Communication in Network-On-Chip: An Overview.
Fateh BoutekkoukPublished in: Int. J. Recent Contributions Eng. Sci. IT (2018)
Keyphrases
- formal specification
- model checking
- network on chip
- concurrent systems
- formal methods
- packet switched
- protocol specification
- temporal logic
- process algebra
- communication protocols
- multi processor
- routing algorithm
- communication networks
- grid workflow
- interconnection networks
- network simulator
- design methodology
- communication protocol
- computer networks
- data transfer
- information systems
- finite state machines
- multipath
- end to end
- parallel algorithm
- low cost
- software engineering