A coding method for 123 decision diagram pass transistor logic circuit synthesis | IEEE Conference Publication | IEEE Xplore