1. A computer implemented method, comprising: automatically constructing a map of interconnected channels for a Network on Chip (NoC) system such that the NoC system is free of deadlock, based on channels of the NoC system, by determining the channels of the NoC system from a specification of the NoC system, wherein the specification contains a deadlock; allocating one of the channels for a link in a route between endpoints of a section of message sequence of the NoC system in a dependency graph; automatically checking for cyclic dependencies in the dependency graph; automatically reallocating the channels of the specification of the NoC system until the deadlock is resolved, wherein the automatically reallocating the channels comprises adding one or more additional virtual channels; and constructing the map of interconnected channels based on the reallocation.