Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits