P. Arató and I. Béres, “A COMPABILITY BASED ALLOCATION METHOD IN HIGH LEVEL SYNTHESIS”, Period. Polytech. Elec. Eng., vol. 39, no. 2, pp. 85–102, Jan. 1995.