Coloring of conflict graphs has been used in high level synthesis to map operators, values and data transfers onto Shared resources, however, finding a minimum sized coloring is NP hard problem.

To give an example explains control theory of synthesis automatization reform, casing map of logic and using effect of reform.