Michael L. Case, Ph.D.
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 verificationGoogle:
"Michael Case"Parents
Sign in to add mentor| Robert K. Brayton | grad student | 2009 | UC Berkeley | |
| (On invariants to characterize the state space for sequential logic synthesis and formal verification.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Long J, Brayton RK, Case M. (2014) LEC: Learning-driven data-path equivalence checking Ceur Workshop Proceedings. 1130: 9-18 |
| Mishchenko A, Een N, Brayton R, et al. (2013) A semi-canonical form for sequential AIGs Proceedings -Design, Automation and Test in Europe, Date. 797-802 |
| Mishchenko A, Case M, Brayton R, et al. (2008) Scalable and scalably-verifiable sequential synthesis Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 234-241 |
| Case ML, Mishchenko A, Brayton RK, et al. (2008) Invariant-strengthened elimination of dependent state elements Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad |
| Case ML, Kravets VN, Mishchenko A, et al. (2008) Merging nodes under sequential observability Proceedings - Design Automation Conference. 540-545 |
| Case ML, Mishchenko A, Brayton RK. (2007) Automated extraction of inductive invariants to aid model checking Proceedings - Formal Methods in Computer Aided Design, Fmcad 2007. 165-172 |