/usr/bin/berkeley-abc /usr/bin/yosys-abc