| 8627273 |
Model checking of liveness property in a phase abstracted model |
Jason R. Baumgartner, Shaked Flur, Ziv Nevo |
2014-01-07 |
| 8566764 |
Enhanced analysis of array-based netlists via phase abstraction |
Jason R. Baumgartner, Michael L. Case, Hari Mony |
2013-10-22 |
| 8407641 |
Logic design verification techniques for liveness checking with retiming |
Jason R. Baumgartner, Gabor Bobok, Mark A. Williams |
2013-03-26 |
| 8352894 |
Verification techniques for liveness checking of logic designs |
Jason R. Baumgartner, Ohad Shacham, Jiazhao Xu |
2013-01-08 |
| 8255848 |
Logic design verification techniques for liveness checking with retiming |
Jason R. Baumgartner, Gabor Bobok, Mark A. Williams |
2012-08-28 |
| 8201118 |
Method and system for dynamic automated hint generation for enhanced reachability analysis |
Jason R. Baumgartner, Mark A. Williams, Jiazhao Xu |
2012-06-12 |
