CIRCT

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