Formulating Data-arrival Synchronizers in Integer Linear Programming for CGRA Mapping | IEEE Conference Publication | IEEE Xplore