This dissertation proposes a formal mapping procedure that enables the development of automatic tools. The mapping procedure is based on a two-stage process. First a common semantics between function and architecture models is determined and an appropriate set of primitives is selected to decide the abstraction level. Then mapping is formulated and solved as an optimal covering problem where the function model is covered by a minimum cost set of architecture components.
We demonstrate the use of the formal approach for the optimal mapping problems in two widely different application domains which feature different models of computation for representation as well as different implementation platforms. This process is general in the sense that it can be applied at all levels of abstraction and for a variety of system level design problems.
In our case studies, Metropolis -- a design framework for platform-based design -- was used to validate our approach. And the insights gained from these case studies motivated the development of Metro II, the next-generation of Metropolis.