| 9612942 |
Verification of a computer program in respect to an unexpected response to an access request |
Yarden Nir-Buchbinder, Aviad Zlotnick |
2017-04-04 |
| 8635431 |
Vector gather buffer for multiple address vector loads |
Dorit Nuzman |
2014-01-21 |
| 8479055 |
Detecting and optimizing false sharing |
Moshe Klausner, Aharon Kupershtok, Yousef Shajrawi, Yaakov Yaari |
2013-07-02 |
| 8181068 |
Apparatus for and method of life-time test coverage for executable code |
Itzhack Goldberg, Moshe Klausner, Marcel Zalmanovici |
2012-05-15 |
| 7516299 |
Splat copying GPR data to vector register elements by executing lvsr or lvsl and vector subtract instructions |
Ayal Zaks |
2009-04-07 |
| 7243204 |
Reducing bus width by data compaction |
— |
2007-07-10 |
| 7076681 |
Processor with demand-driven clock throttling power reduction |
Pradip Bose, Peter W. Cook, Philip G. Emma, Hans M. Jacobson, Prabhakar Kudva +3 more |
2006-07-11 |
