| 2007 |
|---|
| 7 | EE | Adrian E. Seigler,
Gary A. Van Huben,
Hari Mony:
Formal Verification of Partial Good Self-Test Fencing Structures.
FMCAD 2007: 188-191 |
| 2006 |
|---|
| 6 | EE | Tilman Glökler,
Jason Baumgartner,
Devi Shanmugam,
A. E. (Rick) Seigler,
Gary A. Van Huben,
Barinjato Ramanandray,
Hari Mony,
Paul Roessler:
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.
FMCAD 2006: 3-10 |
| 5 | EE | Jason Baumgartner,
Hari Mony,
Viresh Paruthi,
Robert Kanzelman,
Geert Janssen:
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
ICCD 2006 |
| 2005 |
|---|
| 4 | EE | Jason Baumgartner,
Hari Mony:
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies.
CHARME 2005: 222-237 |
| 3 | EE | Hari Mony,
Jason Baumgartner,
Adnan Aziz:
Exploiting Constraints in Transformation-Based Verification.
CHARME 2005: 269-284 |
| 2 | EE | Hari Mony,
Jason Baumgartner,
Viresh Paruthi,
Robert Kanzelman:
Exploiting suspected redundancy without proving it.
DAC 2005: 463-466 |
| 2004 |
|---|
| 1 | EE | Hari Mony,
Jason Baumgartner,
Viresh Paruthi,
Robert Kanzelman,
Andreas Kuehlmann:
Scalable Automated Verification via Expert-System Guided Transformations.
FMCAD 2004: 159-173 |
