A unified lower bound estimation technique for high-level synthesis | IEEE Journals & Magazine | IEEE Xplore