Approximate circuits : methodologies and CAD /: methodologies and CAD. ([2019])