A symbolic algorithm for low-power sequential synthesis.

Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi

Browse the full ISLPED paper archive.