High level synthesis of data flow graphs using integer linear programming for switching power reduction