Hari Mony

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