Abstract: We are presenting an automatic approach to produce approximate circuit with formal error guarantees on worst-case relative error (WCRE). The key concept is ...