An ILP formulation to Unify Power Efficiency and Fault Detection at Register-Transfer Level | IEEE Conference Publication | IEEE Xplore