Dongwan Shin

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