Issued Patents All Time
Showing 25 most recent of 28 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11640421 | Coverage analysis with event clustering | Raviv Gal, Giora Simchoni | 2023-05-02 |
| 11151021 | Selecting test-templates using template-aware coverage data | Raviv Gal, Giora Simchoni | 2021-10-19 |
| 11119895 | Risk-focused testing | Raviv Gal, Gil Eliezer Shurek, Giora Simchoni | 2021-09-14 |
| 11023366 | Diminution of test templates in test suites | Samuel Solomon Ackerman, Raviv Gal, Anatoly Koyfman | 2021-06-01 |
| 10984159 | Hardware verification based on relations between coverage events | Ziv Nevo, Alexander Ivrii, Raviv Gal, Haim Kermany | 2021-04-20 |
| 9208451 | Automatic identification of information useful for generation-based functional verification | Yoav Katz, Michal Rimon, Elad Yom-Tov | 2015-12-08 |
| 8938646 | Mutations on input for test generation | Laurent Fournier, Anatoly Koyfman, Michal Rimon | 2015-01-20 |
| 8930759 | Stream generation | Yoav Katz, Michal Rimon | 2015-01-06 |
| 8868977 | Utilizing auxiliary variables in modeling test space for system behavior | Ariel J. Birnbaum, Rachel Tzoref-Brill, Steven Mittermaier, Itai Segall | 2014-10-21 |
| 8826075 | Solving constraint satisfaction problems having loosely interconnected sub-problems | Yoav Katz, Michal Rimon | 2014-09-02 |
| 8756574 | Using reverse time for coverage analysis | Laurent Fournier, Steven Mittermaier | 2014-06-17 |
| 8739091 | Techniques for segmenting of hardware trace and verification of individual trace segments | Eitan Marcus, Christopher J. Spandikow | 2014-05-27 |
| 8683282 | Automatic identification of information useful for generation-based functional verification | Yoav Katz, Michal Rimon, Elad Yom-Tov | 2014-03-25 |
| 8601418 | Instruction-by-instruction checking on acceleration platforms | Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad | 2013-12-03 |
| 8589734 | Verifying correctness of processor transactions | Allon Adir, John Martin Ludden | 2013-11-19 |
| 8392348 | Constraint satisfaction problem solver | Eyal Bin | 2013-03-05 |
| 8121827 | Efficient presentation of functional coverage results | Yehezkel Azatchi, Eitan Marcus, Shmuel Ur, Keren Zohar | 2012-02-21 |
| 8019586 | Hole query for functional coverage analysis | Laurent Fournier | 2011-09-13 |
| 7865340 | Probabilistic regression suites for functional verification | Shai Fine, Shmuel Ur, Simon Rushton | 2011-01-04 |
| 7729891 | Probabilistic regression suites for functional verification | Shai Fine, Shmuel Ur, Simon Rushton | 2010-06-01 |
| 7428715 | Hole query for functional coverage analysis | Laurent Fournier | 2008-09-23 |
| 7389215 | Efficient presentation of functional coverage results | Yehezkel Azatchi, Eitan Marcus, Shmuel Ur, Keren Zohar | 2008-06-17 |
| 7331007 | Harnessing machine learning to improve the success rate of stimuli generation | Shai Fine, Ari Freund, Itai Jaeger, Yehuda Naveh | 2008-02-12 |
| 7203882 | Clustering-based approach for coverage-directed test generation | Shai Fine | 2007-04-10 |
| 7181376 | Apparatus and method for coverage directed test | Shai Fine, Moshe Levinger | 2007-02-20 |