Deadlock Verification of Cache Coherence Protocols and Communication Fabrics.
Freek VerbeekPooria M. YaghiniAshkan EghbalNader BagherzadehPublished in: IEEE Trans. Computers (2017)
Keyphrases
- communication protocols
- communication protocol
- multi party
- neural network
- messages exchanged
- cryptographic protocols
- model checking
- communication systems
- resource constrained
- data sets
- data acquisition
- group communication
- information exchange
- protocol specification
- asynchronous circuits
- formal analysis
- communication technologies
- communication cost
- communication networks
- fault tolerant
- information sharing