Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11868241 | Method and system for optimizing a verification test regression | Yosinori Watanabe, Michele Petracca, Ido Avraham | 2024-01-09 |
| 10607039 | Constrained metric optimization of a system on chip | Shlomi Uziel, Ido Avraham, Michele Petracca, Yosinori Watanabe | 2020-03-31 |
| 10586014 | Method and system for verification using combined verification data | David R. Spatafore, Nili Segal, Yan Yagudayev, Vincent Gregory Reynolds | 2020-03-10 |
| 10423741 | Constrained metric verification analysis of a system on chip | Michele Petracca, Yosinori Watanabe, Shlomi Uziel, Ido Avraham | 2019-09-24 |
| 10394699 | Method and system for reusing a refinement file in coverage grading | Oded Oren, Yaara Gradovitch | 2019-08-27 |
| 10108514 | Method and system for performing regression session on a device under test | Ohad Givaty | 2018-10-23 |
| 9891281 | Method and system for automatically identifying test runs contributing to coverage events of interest in verification test data | Erez Bashi, Oded Oren | 2018-02-13 |
| 9824175 | Method and system of evaluation of validity of a refinement rule for a hardware emulation | Hemant Gupta, Nili Segal, Oded Oren | 2017-11-21 |
| 9582620 | Method and system for automated refined exclusion of entities from a metric driven verification analysis score | Nili Segal, Hemant Gupta, Oded Oren | 2017-02-28 |
| 9582458 | Generation of a random sub-space of the space of assignments for a set of generative attributes for verification coverage closure | Efrat Gavish, Meirav O. Nitzan | 2017-02-28 |
| 9514035 | Coverage driven generation of constrained random stimuli | Marat Teplitsky, Raz Azaria, Amit Metodi | 2016-12-06 |
| 9208271 | Transaction correlation system | Reshef Meir, Yoav Hollander, Ohad Givaty | 2015-12-08 |
| 8903823 | Coverage-based bug clustering | Reshef Meir, Ohad Givaty | 2014-12-02 |
| 7870523 | System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction | Shlomi Uziel, Amos Noy, Vitaly Lagoon, Amit Gal | 2011-01-11 |