Vitali Sokhin

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 6

Top Topics

Symbolic Execution

Design Automation

Application Programming Interfaces

Top Venues

Publications

Eitan Farchi, Krithika Prakash, Vitali Sokhin
Random Test Generation of Application Programming Interfaces. CoRR (2022)
Tom Kolan, Hillel Mendelson, Vitali Sokhin, Shai Doron, Hernan Theiler, Shay Aviv, Hagai Hadad, Natalia Freidman, Elena Tsanko, John M. Ludden, Bryant Cockcroft
Post Silicon Validation of the MMU. DATE (2021)
Tom Kolan, Hillel Mendelson, Vitali Sokhin, Kevin Reick, Elena Tsanko, Greg Wetli
Post-Silicon Validation of the IBM POWER9 Processor. DATE (2020)
Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son
Test Generation Methods for Utilization Improvement of Hardware-Accelerated Simulation Platforms. IEEE Des. Test 34 (1) (2017)
George Papadimitriou, Dimitris Gizopoulos, Athanasios Chatzidimitriou, Tom Kolan, Anatoly Koyfman, Ronny Morad, Vitali Sokhin
Unveiling difficult bugs in address translation caching arrays for effective post-silicon validation. ICCD (2016)
Doowon Lee, Tom Kolan, Arkadiy Morgenshtein, Vitali Sokhin, Ronny Morad, Avi Ziv, Valeria Bertacco
Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification. DAC (2016)
Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son
Comparative study of test generation methods for simulation accelerators. DATE (2015)
Ophir Friedler, Wisam Kadry, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin
Effective post-silicon failure localization using dynamic program slicing. DATE (2014)
Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin
Improving Post-silicon Validation Efficiency by Using Pre-generated Data. Haifa Verification Conference (2013)
Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv
Threadmill: a post-silicon exerciser for multi-threaded processors. DAC (2011)