Formal Specification of On-Chip Communications State Of The Art

These days Systems-on-Chip (SoCs) have developed impressively in term of performances, reliability and integration capacity that has caused the number of cores (IPs) on the same chip to grow.In fact, multiplying the core number of the same chip has led to communication problems with internal signals, and traditional buses have not been able to handle too many cores with too many signals. To resolve this problem of intra-communication between the components of a same chip, a new definition that is a direct consequence of the complexity of recent and future SoCs has been implemented, it is the Network on Chips (NoC). In this paper we present a state of the art on few formals methods that improve the specification of communication in Network on Chips according to their on-chip communication, the problems they address and the different languages they use.