Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 12487627 | Configurable system counter based on a hardware clock frequency | Itamar Bonne, Ofer Naaman, Benny Pollak | 2025-12-02 | |
| 12361195 | Extending cover properties in formal verification to generate failure traces that reach end-of-test | Hani Assaf, Uri Leder, Yefim Fainstein | 2025-07-15 | |
| 12271669 | Executing instruction sequences generated from software interactions as part of formal verification of a design under test | Uri Leder, Ori Ariel, Assaf Fainer, Simaan Bahouth, Itai Kahana | 2025-04-08 | |
| 12175178 | Fuzzy scoreboard | Uri Leder | 2024-12-24 | $349,111,000 |
| 11768990 | Interconnect flow graph for integrated circuit design | Uri Leder, Ori Ariel, Benzi Denkberg, Guy Nakibly | 2023-09-26 | $315,766,000 |
| 11544436 | Hardware-software interaction testing using formal verification | Uri Leder, Ori Cohen, Benzi Denkberg | 2023-01-03 | $177,580,000 |
| 11062077 | Bit-reduced verification for memory arrays | — | 2021-07-13 | $258,153,000 |