Symbolic computation of logic implications for technology-dependent low-power synthesis.

R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi

Browse the full ISLPED paper archive.