| 12147329 |
Uniform process for generating multiple outputs with common section in pseudo-random software system |
Avishai Moshe Fedida, Oz Dov Hershkovitz, Ofek Gutman |
2024-11-19 |
| 11188304 |
Validating microprocessor performance |
Gal Ashour, Oz Dov Hershkovitz, Karen Holtz, Silvia M. Mueller, Avishai Moshe Fedida |
2021-11-30 |
| 9734033 |
Implementing processor functional verification by generating and running constrained random irritator tests for multiple processor system and processor core with multiple threads |
Olaf K. Hendrickson, Yugi Morimoto, Michael P. Mullen |
2017-08-15 |
| 9720793 |
Implementing processor functional verification by generating and running constrained random irritator tests for multiple processor system and processor core with multiple threads |
Olaf K. Hendrickson, Yugi Morimoto, Michael P. Mullen |
2017-08-01 |
| 9208451 |
Automatic identification of information useful for generation-based functional verification |
Yoav Katz, Elad Yom-Tov, Avi Ziv |
2015-12-08 |
| 8938646 |
Mutations on input for test generation |
Laurent Fournier, Anatoly Koyfman, Avi Ziv |
2015-01-20 |
| 8930759 |
Stream generation |
Yoav Katz, Avi Ziv |
2015-01-06 |
| 8826075 |
Solving constraint satisfaction problems having loosely interconnected sub-problems |
Yoav Katz, Avi Ziv |
2014-09-02 |
| 8683282 |
Automatic identification of information useful for generation-based functional verification |
Yoav Katz, Elad Yom-Tov, Avi Ziv |
2014-03-25 |
| 8589892 |
Verification of speculative execution |
Laurent Fournier, Anatoly Koyfman |
2013-11-19 |
| 7133816 |
Test quality through resource reallocation |
Allon Adir, Eitan Marcus, Amir Voskoboynik |
2006-11-07 |
