This paper presents a methodology and algorithms for automatic
communication refinement. The communication refinement task
in system-level synthesis transforms abstract data-transfer between
components to its actual bus level implementation. The input model
of the communication refinement is a set of concurrently executing
components, communicating with each other through abstract com-
munication channels. The refined model reflects the actual commu-
nication architecture. Choosing a good communication architecture
in system level designs requires sufficient exploration through eval-
uation of various architectures. However, this would not be possi-
ble with manually refining the system model for each communica-
tion architecture. For one, manual refinement is tedious and error-
prone. Secondly, it wastes substantial amount of precious designer
time. We solve this problem with automatic model refinement. We
also present a set of experimental results to demonstrate how the
proposed approach works on a typical system level design