Publications

• R.I. Bahar, M. Burns, G.D. Hachtel, E. Macii, H. Shin, F. Somenzi, "Symbolic Computation of Logic Implications for Technology-Dependent Low-Power Synthesis," International Symposium on Low Power Electronics and Design, Monterey, CA, August 1996.

• R.I. Bahar, F. Somenzi, "Boolean Techniques for Low Power Driven Re-synthesis," ICCAD-95: ACM/IEEE International Conference on Computer Aided Design, Santa Clara, CA, November 1995.

• R.I. R.I. Bahar, G.D. Hachtel, E. Macii, F. Somenzi, "A Symbolic Method to Reduce Power Consumption of Circuits Containing False Paths," ICCAD-94: ACM/IEEE International Conference on Computer Aided Design, Santa Clara, CA, November 1994.

• R.I. Bahar, H. Cho, G. D. Hachtel, E. Macii, F. Somenzi, "An Application of ADD-Based Timing Analysis to Combinational Low Power Re-Synthesis" IWLP-94: ACM/IEEE International Workshop on Low Power Design, Napa, CA, April 1994., pp. 39-44

• R.I. Bahar, H. Cho, G. D. Hachtel, E. Macii, F. Somenzi, "Timing Analysis of Combinational Circuits Using ADD's," EDAC-94: IEEE European Conference on Design Automation, Paris, France, February 1994., pp. 625-629

• R.I. Bahar, E.A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, F. Somenzi, "Algebraic Decision Diagrams and their Applications," ICCAD-93: ACM/IEEE International Conference on Computer Aided Design, Santa Clara, CA, November 1993.

Back to the LEMS homepage.