Design automation techniques for approximation circuits : verification, synthesis and test (2019)