 | 2009 |
|---|
| 11 |       | Hari Mony,
Jason Baumgartner,
Alan Mishchenko,
Robert K. Brayton:
Speculative reduction-based scalable redundancy identification.
DATE 2009: 1674-1679 |
| 10 | | Jason Baumgartner,
Hari Mony:
Scalable liveness checking via property-preserving transformations.
DATE 2009: 1680-1685 |
| 2008 |
|---|
| 9 | | Michael L. Case,
Alan Mishchenko,
Robert K. Brayton,
Jason Baumgartner,
Hari Mony:
Invariant-Strengthened Elimination of Dependent State Elements.
FMCAD 2008: 1-9 |
| 8 | | Jason Baumgartner,
Hari Mony,
Adnan Aziz:
Optimal Constraint-Preserving Netlist Simplification.
FMCAD 2008: 1-9 |
| 2007 |
|---|
| 7 | | Adrian E. Seigler,
Gary A. Van Huben,
Hari Mony:
Formal Verification of Partial Good Self-Test Fencing Structures.
FMCAD 2007: 188-191 |
| 2006 |
|---|
| 6 | | 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 | | Jason Baumgartner,
Hari Mony,
Viresh Paruthi,
Robert Kanzelman,
Geert Janssen:
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
ICCD 2006 |
| 2005 |
|---|
| 4 | | Jason Baumgartner,
Hari Mony:
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies.
CHARME 2005: 222-237 |
| 3 | | Hari Mony,
Jason Baumgartner,
Adnan Aziz:
Exploiting Constraints in Transformation-Based Verification.
CHARME 2005: 269-284 |
| 2 | | Hari Mony,
Jason Baumgartner,
Viresh Paruthi,
Robert Kanzelman:
Exploiting suspected redundancy without proving it.
DAC 2005: 463-466 |
| 2004 |
|---|
| 1 | | Hari Mony,
Jason Baumgartner,
Viresh Paruthi,
Robert Kanzelman,
Andreas Kuehlmann:
Scalable Automated Verification via Expert-System Guided Transformations.
FMCAD 2004: 159-173 |
