High level synthesis of data flow graphs using integer linear programming for switching power reduction | IEEE Conference Publication | IEEE Xplore