Valid transformations: a new class of loop transformations for high-level synthesis and pipelined scheduling applications | IEEE Journals & Magazine | IEEE Xplore