Issued Patents 2016
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9477800 | System, method, and computer program product for automatically selecting a constraint solver algorithm in a design verification environment | Daniel A. Cohen, Nir Weiss | 2016-10-25 |
| 9373077 | System and method for identifying constraint solver calls | Daniel A. Cohen, Petr Spacek, Prasanna Rao | 2016-06-21 |