On multiple-voltage high-level synthesis using algorithmic transformations | IEEE Conference Publication | IEEE Xplore