Hari Mony

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations

Jason Baumgartner, Hari Mony, Viresh Paruthi et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 74 citations

Computing, Computer Engineering, Computer Science +9

Exploiting suspected redundancy without proving it

Hari Mony, Jason Baumgartner, Viresh Paruthi et al. · 2005 · 34 citations

Computing, Computer Science, Algorithms +9

Enhanced verification by temporal decomposition

Michael Case, Hari Mony, Jason Baumgartner et al. · 2009 · 19 citations

Computing, Computer Engineering, Computer Science +17

Speculative reduction-based scalable redundancy identification

Hari Mony, Jason Baumgartner, Alan Mishchenko et al. · Design, Automation, and Test in Europe · 2009 · 17 citations

Computing, Computer Engineering, Computer Science +13

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning

T. Glokler, Jason Baumgartner, Devi Shanmugam et al. · 2006 · 15 citations

Engineering, Computer Engineering, Computer Science +15