Hari Mony

Publication Activity (10 Years)

Years Active: 2004-2016
Publications (10 Years): 1

Top Topics

Data Abstraction

Reachability Analysis

Fully Automated

Top Venues

Publications

Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
The art of semi-formal bug hunting. ICCAD (2016)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman
Effective Liveness Verification Using a Transformation-Based Framework. VLSI Design (2014)
Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner
Scalable reachability analysis via automated dynamic netlist-based hint generation. Formal Methods Syst. Des. 45 (2) (2014)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla
GLA: gate-level abstraction revisited. DATE (2013)
Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony
IC3-guided abstraction. FMCAD (2012)
Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner
Enhanced reachability analysis via automated dynamic netlist-based hint generation. FMCAD (2012)
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
Approximate reachability with combined symbolic and ternary simulation. FMCAD (2011)
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
Optimal redundancy removal without fixedpoint computation. FMCAD (2011)
Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony
Hybrid verification of a hardware modular reduction engine. FMCAD (2011)
Jason Baumgartner, Michael L. Case, Hari Mony
Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. FMCAD (2010)
Jason Baumgartner, Hari Mony
Scalable liveness checking via property-preserving transformations. DATE (2009)
Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman
Enhanced verification by temporal decomposition. FMCAD (2009)
Hari Mony, Jason Baumgartner, Alan Mishchenko, Robert K. Brayton
Speculative reduction-based scalable redundancy identification. DATE (2009)
Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav
Scalable conditional equivalence checking: An automated invariant-generation based approach. FMCAD (2009)
Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony
Invariant-Strengthened Elimination of Dependent State Elements. FMCAD (2008)
Jason Baumgartner, Hari Mony, Adnan Aziz
Optimal Constraint-Preserving Netlist Simplification. FMCAD (2008)
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD (2007)
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)
Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD (2006)
Jason Baumgartner, Hari Mony
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. CHARME (2005)
Hari Mony, Jason Baumgartner, Adnan Aziz
Exploiting Constraints in Transformation-Based Verification. CHARME (2005)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman
Exploiting suspected redundancy without proving it. DAC (2005)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
Scalable Automated Verification via Expert-System Guided Transformations. FMCAD (2004)