Hari Mony

• Biography

  I successfully defended my Ph.D. dissertation on April 25, 2008. I received my M.S in ECE from UT Austin; my undergraduate degree is from IIT Kharagpur.

• Contact Information
  • Phone: 1 (512) 838-5905 (work), 1 (512) 716-0804 (home)
  • Email: mony AT ece.utexas DOT edu
  • Address:
    • Work: 11400 Burnet Dr, Bldg 045 3N-078, Austin, TX 78758
    • Home: 16516 Castletroy Dr, Austin, TX 78717

• Research

  My research interests lie in automatic formal verification of integrated circuits. I am a member of the SixthSense Team at IBM.

• Conference Publications
  • Scalable automated verification via expert-system guided transformations. H.Mony, J.Baumgartner, V.Paruthi, R.Kanzelman, and A.Kuehlmann. Formal Methods in Computer-Aided Design, Austin, TX. Nov 2004.
  • Exploiting Suspected Redundancy without Proving It. H.Mony, J.Baumgartner, V.Paruthi, and R.Kanzelman. Design Automation Conference, Anaheim, CA. June 2005.
  • Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. J.Baumgartner and H. Mony. Correct Hardware Design and Verification Methods, Saarbrucken, Germany. October 2005.
  • Exploiting Constraints in Transformation-Based Verification. H.Mony, J.Baumgartner, and A.Aziz. Correct Hardware Design and Verification Methods, Saarbrucken, Germany. October 2005.
  • Scalable Sequential Equivalence Checking across Arbitrary Design Transformations. Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman and Geert Janssen International Conference on Computer Design, San Jose, CA. October 2006.
  • Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. Jason Baumgartner, Tilman Gloekler, Devi Shanmugam, Rick Seigler, Gary Van Huben, Hari Mony, Paul Roessler, and Barinjato Ramanandray. Formal Methods in Computer-Aided Design, San Jose, CA. November 2006.
  • Formal Verification of Partial Good Self-Test Fencing Structures Adrian Seigler, Gary Van Huben, and Hari Mony Formal Methods in Computer-Aided Design, Austin, TX. November 2007.
  • Optimal Constraint-Preserving Netlist Simplification, Jason Baumgartner, Hari Mony, and Adnan Aziz, to be submitted in Formal Methods in Computer-Aided Design, November 2008.