Automated power optimization of sequential integrated circuits through approximate computing - May, David (2017)