Symbolic computation of logic implications for technology-dependent low-power synthesis Conference Proceeding uri icon

Overview

publication date

  • August 12, 1996

Full Author List

  • Bahar RI; Burns M; Hachtel GD; Macii E; Shin H; Somenzi F

Additional Document Info

start page

  • 163

end page

  • 168