Scaling up modulo scheduling for high-level synthesis - Rosa, Leandro de Souza; Bouganis, Christos-Savvas; Bonato, Vanderlei (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019)