ILP models for energy and transient power minimization during behavioral synthesis | IEEE Conference Publication | IEEE Xplore