Sequential Redundancy Identification using Transformation-Based Verification

By Hari Mony, May 2008

PhD Dissertation

List of publications

  1. 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.
  2. Exploiting Suspected Redundancy without Proving It. H.Mony, J.Baumgartner, V.Paruthi, and R.Kanzelman. Design Automation Conference, Anaheim, CA. June 2005.
  3. 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.
  4. Exploiting Constraints in Transformation-Based Verification. H.Mony, J.Baumgartner, and A.Aziz. Correct Hardware Design and Verification Methods, Saarbrucken, Germany. October 2005.
  5. 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.
  6. 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.
  7. 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.
  8. Optimal Constraint-Preserving Netlist Simplification, Jason Baumgartner, Hari Mony, and Adnan Aziz, to be submitted in Formal Methods in Computer-Aided Design, November 2008.