Hsueh-Chih Yang, Lan-Rong Dung: On multiple-voltage high-level synthesis using algorithmic transformations. ASP-DAC 2005: 872-876