Scalable Automated Verification via Expert-System Guided Transformations. - Hari Mony; Jason Baumgartner; Viresh Paruthi; Robert Kanzelman; Andreas Kuehlmann (FMCAD, 2004)

Exploiting suspected redundancy without proving it. - Hari Mony; Jason Baumgartner; Viresh Paruthi; Robert Kanzelman (DAC, 2005)

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . - Jason Baumgartner; Hari Mony; Viresh Paruthi; Robert Kanzelman; Geert Janssen (ICCD, 2006)

Enhanced verification by temporal decomposition. - Michael L. Case; Hari Mony; Jason Baumgartner; Robert Kanzelman (FMCAD, 2009)

Optimal redundancy removal without fixedpoint computation. - Michael L. Case; Jason Baumgartner; Hari Mony; Robert Kanzelman (FMCAD, 2011)

Approximate reachability with combined symbolic and ternary simulation. - Michael L. Case; Jason Baumgartner; Hari Mony; Robert Kanzelman (FMCAD, 2011)

Effective Liveness Verification Using a Transformation-Based Framework. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Hari Mony; Jason Baumgartner; Robert Kanzelman (VLSID, 2014)

The art of semi-formal bug hunting. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Jason Baumgartner; Hari Mony; Robert Kanzelman; Alexander Ivrii (ICCAD, 2016)

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. - Rohit Dureja; Jason Baumgartner; Alexander Ivrii; Robert Kanzelman; Kristin Y. Rozier (FMCAD, 2019)

Input Elimination Transformations for Scalable Verification and Trace Reconstruction. - Raj Kumar Gajavelly; Jason Baumgartner; Alexander Ivrii; Robert L. Kanzelman; Shiladitya Ghosh (FMCAD, 2019)

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. - Rohit Dureja; Jason Baumgartner; Robert Kanzelman; Mark Williams; Kristin Y. Rozier (FMCAD, 2020)

Toward Exhaustive Sequential Redundancy Removal. - Rohit Dureja; Jason Baumgartner; Raj Kumar Gajavelly; Robert Kanzelman; Kristin Y. Rozier (FMCAD, 2024)