BDD-Based Topology Optimization for Low-Power DTIG FinFET Circuits. (18th July 2019)