I used this to automatically replace adders with approximate adders in critical path of circuits! yosys with scripts scripts and a diagram
