System, method, and computer program product for automatically selecting a constraint solver algorithm in a design verification environment
US-9477800-B1 · Oct 25, 2016 · US
Weiss Nir is listed as an inventor on 2 patents in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Weiss Nir |
| Total patents | 2 |
| First publication | Dec 1, 2015 |
| Latest publication | Oct 25, 2016 |
Publications ranked by popularity score, then publication date.
US-9477800-B1 · Oct 25, 2016 · US
US-9202004-B1 · Dec 1, 2015 · US
Latest publications not already listed above.
No data yet.
Free tools are coming soon. Tell us what you want to track and we'll notify you.