A gradual scheduling framework for problem size reduction and cross basic block parallelism exploitation in high-level synthesis | IEEE Conference Publication | IEEE Xplore