Unified Theory to Build Cell-Level Transistor Networks from BDDs. - Renato E. B. Poli; Felipe Ribeiro Schneider; Renato P. Ribas; André Inácio Reis (SBCCI, 2003)