Xor-Majority-Inverter Graphs

THLR: A Top-down Hierarchical Logic Rewrite Framework for Xor-Majority-Inverter Graphs