A new integer linear programming formulation for the scheduling problem in data path synthesis | IEEE Conference Publication | IEEE Xplore