BDD decomposition for mixed CMOS/PTL logic circuit synthesis. - Yen-Tai Lai; Yung-Chuan Jiang; Hong-Ming Chu (ISCAS (6), 2005)