Issued Patents All Time
Showing 1–20 of 20 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11144693 | Method and system for generating verification tests at runtime | — | 2021-10-12 |
| 10733345 | Method and system for generating a validation test | Matan Vax | 2020-08-04 |
| 10698802 | Method and system for generating a validation test | — | 2020-06-30 |
| 10698805 | Method and system for profiling performance of a system on chip | — | 2020-06-30 |
| 10592703 | Method and system for processing verification tests for testing a design under test | — | 2020-03-17 |
| 10579761 | Method and system for reconstructing a graph presentation of a previously executed verification test | Talia Leah Orztizer | 2020-03-03 |
| 10528691 | Method and system for automated selection of a subset of plurality of validation tests | — | 2020-01-07 |
| 10503854 | Method and system for generating validation tests | — | 2019-12-10 |
| 10295596 | Method and system for generating validation tests | — | 2019-05-21 |
| 10162920 | System and method for performing out of order name resolution in an electronic design | Jonathan Lee DeKock, Steven G. Esposito, Manu Chopra | 2018-12-25 |
| 9858371 | Method and system for generating post-silicon validation tests | — | 2018-01-02 |
| 9852046 | Method and system for automated debugging memory allocation and memory release | Rodion Melnikov, Yonatan Ashkenazi | 2017-12-26 |
| 9823305 | Method and system for generating post-silicon validation tests | Swaminathan Venkateasan | 2017-11-21 |
| 9792402 | Method and system for debugging a system on chip under test | Kalev Alpernas | 2017-10-17 |
| 9690681 | Method and system for automatically generating executable system-level tests | Erez Singer, Efrat Gavish | 2017-06-27 |
| 9367423 | Methods, systems, and articles of manufacture for using multiple modes during execution of a program | Rodion Milnikov | 2016-06-14 |
| 8997049 | Method and system for debugging of compiled code using an interpreter | Rodion Melnikov | 2015-03-31 |
| 8719771 | Method and system for test reduction and analysis | Marat Teplitsky, Rodion Melnikov | 2014-05-06 |
| 8656368 | System, method, and computer program product for abstract software performance profiling | Efrat Gavish | 2014-02-18 |
| 8156474 | Automation of software verification | Marat Teplitsky, Noa Gradovich | 2012-04-10 |