Hari Mony
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
6
Active years
2004–2016
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICCAD | The art of semi-formal bug hunting. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii |
| 2014 | VLSID | Effective Liveness Verification Using a Transformation-Based Framework. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2013 | DATE | GLA: gate-level abstraction revisited. | Alan Mishchenko, Niklas En, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla |
| 2012 | FMCAD | IC3-guided abstraction. | Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony |
| 2012 | FMCAD | Enhanced reachability analysis via automated dynamic netlist-based hint generation. | Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner |
| 2011 | FMCAD | Optimal redundancy removal without fixedpoint computation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | FMCAD | Approximate reachability with combined symbolic and ternary simulation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | FMCAD | Hybrid verification of a hardware modular reduction engine. | Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony |
| 2010 | FMCAD | Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. | Jason Baumgartner, Michael L. Case, Hari Mony |
| 2009 | DATE | Scalable liveness checking via property-preserving transformations. | Jason Baumgartner, Hari Mony |
| 2009 | DATE | Speculative reduction-based scalable redundancy identification. | Hari Mony, Jason Baumgartner, Alan Mishchenko, Robert K. Brayton |
| 2009 | FMCAD | Scalable conditional equivalence checking: An automated invariant-generation based approach. | Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav |
| 2009 | FMCAD | Enhanced verification by temporal decomposition. | Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2008 | FMCAD | Optimal Constraint-Preserving Netlist Simplification. | Jason Baumgartner, Hari Mony, Adnan Aziz |
| 2008 | FMCAD | Invariant-Strengthened Elimination of Dependent State Elements. | Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony |
| 2007 | FMCAD | Formal Verification of Partial Good Self-Test Fencing Structures. | Adrian E. Seigler, Gary A. Van Huben, Hari Mony |
| 2006 | FMCAD | Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. | Tilman Glkler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler |
| 2006 | ICCD | Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . | Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen |
| 2005 | DAC | Exploiting suspected redundancy without proving it. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman |
| 2004 | FMCAD | Scalable Automated Verification via Expert-System Guided Transformations. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann |