Leakage power driven behavioral synthesis of pipelined datapaths | IEEE Conference Publication | IEEE Xplore