Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11556676 | Scalable formal security verification of circuit designs | Alfred Koelbl, Sudipta Kundu | 2023-01-17 |
| 9633154 | Sequential structure extraction by functional specification | Hong Liang | 2017-04-25 |
| 9390208 | Formal verification of temporal properties expressed using local variables | Roy Armoni, Dana Fisman Ofek | 2016-07-12 |