Graph Partition

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