Recursive bipartitioning of BDDs for performance driven synthesis of pass transistor logic circuits | IEEE Conference Publication | IEEE Xplore