Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11550979 | Implementing and verifying safety measures in a system design based on safety specification generated from safety requirements | Kaushik De, Stewart Williams | 2023-01-10 |
| 9672094 | Interconnect circuitry fault detection | Edmond Jordan | 2017-06-06 |
| 9582458 | Generation of a random sub-space of the space of assignments for a set of generative attributes for verification coverage closure | Efrat Gavish, Yael Kinderman | 2017-02-28 |