☰

Michael L. Case, Ph.D. - Publications

Affiliations: 
2009 University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA); Advanced methods in combinational and sequential logic synthesis and formal verification
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2014 Long J, Brayton RK, Case M. LEC: Learning-driven data-path equivalence checking Ceur Workshop Proceedings. 1130: 9-18.  0.372
2013 Mishchenko A, Een N, Brayton R, Case M, Chauhan P, Sharma N. A semi-canonical form for sequential AIGs Proceedings -Design, Automation and Test in Europe, Date. 797-802.  0.387
2008 Mishchenko A, Case M, Brayton R, Stephen J. Scalable and scalably-verifiable sequential synthesis Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 234-241. DOI: 10.1109/ICCAD.2008.4681580  0.434
2008 Case ML, Mishchenko A, Brayton RK, Baumgartner J, Mony H. Invariant-strengthened elimination of dependent state elements Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad. DOI: 10.1109/FMCAD.2008.ECP.6  0.434
2008 Case ML, Kravets VN, Mishchenko A, Brayton RK. Merging nodes under sequential observability Proceedings - Design Automation Conference. 540-545. DOI: 10.1109/DAC.2008.4555875  0.454
2007 Case ML, Mishchenko A, Brayton RK. Automated extraction of inductive invariants to aid model checking Proceedings - Formal Methods in Computer Aided Design, Fmcad 2007. 165-172. DOI: 10.1109/FAMCAD.2007.12  0.429
Show low-probability matches.