Verilog files of the MIGs for the work:

Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits, by E. Testa, S.-Y. Lee, H. Riener, and G. De Micheli, presented at ASPDAC 2021.

The folder "MIG" containts the original MIGs used as baseline for our flow. Note that they do not have fanout limited to 16.