Ourania Spantidi, Georgios Zervakis 0001, Iraklis Anagnostopoulos, Jörg Henkel. Energy-Efficient DNN Inference on Approximate Accelerators Through Formal Property Exploration. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):3838-3849, 2022. [doi]
Abstract is missing.