SynCirc: Efficient Synthesis of Depth-Optimized Circuits from High-Level Languages - View it on GitHub