Authors: Bahar, RI Lampe, ET Macii, E

Citation: Ri. Bahar et al., Power optimization of technology-dependent circuits based on symbolic computation of logic implications, ACM T DES A, 5(3), 2000, pp. 267-293