1996 | ||
---|---|---|
1 | EE | R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi: Symbolic computation of logic implications for technology-dependent low-power synthesis. ISLPED 1996: 163-168 |
1 | R. Iris Bahar | [1] |
2 | Gary D. Hachtel | [1] |
3 | Enrico Macii | [1] |
4 | H. Shin | [1] |
5 | Fabio Somenzi | [1] |