i know yosys relies on abc, but I have yet to dig into that dependency in depth