Problem description: Model
Functional partitioning creates a partition P consisting of a set of parts {p1, p2,…pm}, such that every procedure fi is assigned to exactly one part pj, i.e. p1? p2 ? …pm = F and pi ? pj = 0 for all i, j, i? j.
Each pj represents the function to be implemented on a single processor. The processors are mutually exclusive.
Each part pj is converted to a single process before synthesis; this process consists of a loop that detects a request for one of the part’s procedures, receive input parameters, calls the procedure, and sends back output parameters.