| 10983887 |
Validation of multiprocessor hardware component |
Sung-Boem Park, Amir Nahir, Vitali Sokhin, Jin-Sung Park, Ara Cho |
2021-04-20 |
| 10528443 |
Validation of multiprocessor hardware component |
Sung-Boem Park, Amir Nahir, Vitali Sokhin, Jin-Sung Park, Ara Cho |
2020-01-07 |
| 9626267 |
Test generation using expected mode of the target hardware device |
Sung-Boem Park, Amir Nahir, Vitali Sokhin, Jin-Sung Park, Ara Cho |
2017-04-18 |
| 9569345 |
Architectural failure analysis |
Ophir Friedler, Amir Nahir, Vitali Sokhin |
2017-02-14 |
| 9251045 |
Control flow error localization |
Ophir Friedler, Amir Nahir, Vitali Sokhin |
2016-02-02 |
| 8832502 |
Hardware verification using acceleration platform |
Manoj Dusanapudi, Shakti Kapoor, Dimtry Krestyashyn, Shimon Landa, Amir Nahir +3 more |
2014-09-09 |
| 8397217 |
Integrating templates into tests |
Alex Goryachev, Ronny Morad, Sergey Shusterman |
2013-03-12 |
