TY - JOUR A1 - Pradhan, D. K. A1 - Chatterjee, M. A1 - Swarna, M. A1 - Kunz, Wolfgang T1 - Implication-based gate-level synthesis for low-power Y1 - 1996 SN - 0-7803-3571-6 ER -