Text this: BDD-Based Topology Optimization for Low-Power DTIG FinFET Circuits