CorreComm: A formal hierarchical framework for communication designs

The number of communicating components has tremendously increased, both at the chip-level communication as well as in general networks. This leads to an increased complexity in the design of communication infrastructures. In order to rely on such complex communication designs, we need a correspondingly increased verification effort. In this paper we propose a structured framework named CorreComm to alleviate the modeling and verifying of communication designs. We describe the correct-by-construction structure of our framework and demonstrate its applicability as a communication design pattern, by instantiating it to two specific communication models.