On multiple-voltage high-level synthesis using algorithmic transformations