ALU synthesis from HDL descriptions to optimized multi-level logic | IEEE Conference Publication | IEEE Xplore