Combinational equivalence checking through function transformation.

Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple

Browse the full ICCAD paper archive.