Design of dynamic pass-transistor logic circuits using 123 decision diagrams | IEEE Journals & Magazine | IEEE Xplore