Energy-Efficient DNN Inference on Approximate Accelerators Through Formal Property Exploration

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]

Authors

Ourania Spantidi

This author has not been identified. Look up 'Ourania Spantidi' in Google

Georgios Zervakis 0001

This author has not been identified. Look up 'Georgios Zervakis 0001' in Google

Iraklis Anagnostopoulos

This author has not been identified. Look up 'Iraklis Anagnostopoulos' in Google

Jörg Henkel

This author has not been identified. Look up 'Jörg Henkel' in Google