Robert Kanzelman

11 papers A* 1A 1B 7C 1Misc 1
YearRankTypeTitle / Venue / Authors
2024 B conf
Toward Exhaustive Sequential Redundancy Removal.
FMCAD
Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier
2020 B conf
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.
FMCAD
Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier
2019 B conf
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.
FMCAD
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier
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
2011 B conf
Approximate reachability with combined symbolic and ternary simulation.
FMCAD
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
2011 B conf
Optimal redundancy removal without fixedpoint computation.
FMCAD
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
2009 B conf
Enhanced verification by temporal decomposition.
FMCAD
Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman
2006 C conf
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
ICCD
Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
2005 A* conf
Exploiting suspected redundancy without proving it.
DAC
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman
2004 B conf
Scalable Automated Verification via Expert-System Guided Transformations.
FMCAD
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann