Michael L. Case

12 papers A* 1A 2B 8Unranked 1
YearRankTypeTitle / Venue / Authors
2013 A conf
A semi-canonical form for sequential AIGs.
DATE
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma
2013 — conf
LEC: Learning Driven Data-path Equivalence Checking.
DIFTS@FMCAD
Jiang Long, Robert K. Brayton, Michael L. Case
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
2008 B conf
Invariant-Strengthened Elimination of Dependent State Elements.
FMCAD
Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony
2008 A* conf
Merging nodes under sequential observability.
DAC
Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton
2008 A conf
Scalable and scalably-verifiable sequential synthesis.
ICCAD
Alan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang
2007 B conf
Automated Extraction of Inductive Invariants to Aid Model Checking.
FMCAD
Michael L. Case, Alan Mishchenko, Robert K. Brayton