Michael L. Case

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Software Systems

Top Venues

Publications

Jiang Long, Robert K. Brayton, Michael L. Case
LEC: Learning Driven Data-path Equivalence Checking. DIFTS@FMCAD (2013)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma
A semi-canonical form for sequential AIGs. DATE (2013)
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)
Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman
Enhanced verification by temporal decomposition. FMCAD (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)
Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton
Merging nodes under sequential observability. DAC (2008)
Alan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang
Scalable and scalably-verifiable sequential synthesis. ICCAD (2008)
Michael L. Case, Alan Mishchenko, Robert K. Brayton
Automated Extraction of Inductive Invariants to Aid Model Checking. FMCAD (2007)