| 12361195 |
Extending cover properties in formal verification to generate failure traces that reach end-of-test |
Hani Assaf, Max Chvalevsky, Yefim Fainstein |
2025-07-15 |
| 12306719 |
Link down resilience |
Roi Ben Haim, Guy Nakibly, Sergey Kleyman, Ariel Pescovsky, Muhamad Grefat |
2025-05-20 |
| 12271669 |
Executing instruction sequences generated from software interactions as part of formal verification of a design under test |
Ori Ariel, Assaf Fainer, Simaan Bahouth, Max Chvalevsky, Itai Kahana |
2025-04-08 |
| 12175178 |
Fuzzy scoreboard |
Max Chvalevsky |
2024-12-24 |
| 11768990 |
Interconnect flow graph for integrated circuit design |
Ori Ariel, Max Chvalevsky, Benzi Denkberg, Guy Nakibly |
2023-09-26 |
| 11544436 |
Hardware-software interaction testing using formal verification |
Ori Cohen, Benzi Denkberg, Max Chvalevsky |
2023-01-03 |
| 11182103 |
Dedicated communications cache |
Itai Avron, Adi Habusha, Svetlana Kantorovych |
2021-11-23 |
| 10929584 |
Environmental modification testing for design correctness with formal verification |
Benzi Denkberg, Ori Weber |
2021-02-23 |
| 10911358 |
Packet processing cache |
Guy Nakibly, Benzi Denkberg, Erez Izenberg, Nafea Bshara, Ofer Frishman |
2021-02-02 |
| 10839124 |
Interactive compilation of software to a hardware language to satisfy formal verification constraints |
Adi Habusha, Ofer Naaman, Tzachi Zidenberg, Ohad Gdalyahu |
2020-11-17 |
| 10298496 |
Packet processing cache |
Guy Nakibly, Benzi Denkberg, Erez Izenberg, Nafea Bshara, Ofer Frishman |
2019-05-21 |
| 10228869 |
Controlling shared resources and context data |
Guy Nakibly, Benzi Denkberg, Ofer Frishman, Erez Izenberg, Nafea Bshara |
2019-03-12 |
| RE32700 |
Convertible platen for graphics plotter |
Pernie E. Westly |
1988-06-21 |
| 4512505 |
Convertible platen for graphics plotter |
Pernie E. Westly |
1985-04-23 |