To the general reader, since maybe I have your attention, and maybe you like computer science and algorithms, let me direct your attention to: DAG-Aware AIG Re

To the general reader, since maybe I have your attention, and maybe you like computer science and algorithms, let me direct your attention to: DAG-Aware AIG Rewriting: A Fresh Look at Combinational Logic Synthesis http://people.eecs.berkeley.edu/~alanmi/publications/2006/dac06_rwr.pdf http://people.eecs.berkeley.edu/~alanmi/publications/2006/da... Which is the inspiration for this tool: https://github.com/berkeley-abc/abc https://github.com/berkeley-abc/abc Which how this flow does synthesis: https://openroad.readthedocs.io/en/latest/ https://openroad.readthedocs.io/en/latest/