Circuit IR Compilers and Tools
-aig-lower-variadic
Lower variadic AndInverter operations to binary AndInverter
-aig-lower-word-to-bits
Lower multi-bit AndInverter to single-bit ones