Leakage power analysis and reduction during behavioral synthesis | IEEE Journals & Magazine | IEEE Xplore