related documents Symbolic computation of logic implications for technology-dependent low-power synthesis Conference Proceeding
