High-level synthesis of approximate hardware under joint precision and voltage scaling | IEEE Conference Publication | IEEE Xplore