Vitali Sokhin

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Test space sampling for model-based biased random system test throu...
- Patent number 11,928,051
- Issue date Mar 12, 2024
- International Business Machines Corporation
- Vitali Sokhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler-based code generation for post-silicon validation
- Patent number 11,796,593
- Issue date Oct 24, 2023
- Synopsys, Inc.
- Hillel Mendelson
- G01 - MEASURING TESTING
Information Patent Grant
Model-based biased random system test through rest API
- Patent number 11,748,238
- Issue date Sep 5, 2023
- International Business Machines Corporation
- Vitali Sokhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Testing address translation cache
- Patent number 11,263,150
- Issue date Mar 1, 2022
- International Business Machines Corporation
- Hillel Mendelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Recoverable exceptions generation and handling for post-silicon val...
- Patent number 11,226,370
- Issue date Jan 18, 2022
- International Business Machines Corporation
- Hillel Mendelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partial-results post-silicon hardware exerciser
- Patent number 11,204,859
- Issue date Dec 21, 2021
- International Business Machines Corporation
- Tom Kolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Utilizing translation tables for testing processors
- Patent number 11,200,126
- Issue date Dec 14, 2021
- International Business Machines Corporation
- Tom Kolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatically introducing register dependencies to tests
- Patent number 11,194,705
- Issue date Dec 7, 2021
- International Business Machines Corporation
- Hillel Mendelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for test generation
- Patent number 11,182,265
- Issue date Nov 23, 2021
- International Business Machines Corporation
- Tom Kolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Validation of multiprocessor hardware component
- Patent number 10,983,887
- Issue date Apr 20, 2021
- International Business Machines Corporation
- Sung-Boem Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Attribute driven memory allocation
- Patent number 10,891,163
- Issue date Jan 12, 2021
- International Business Machines Corporation
- Shai Doron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Validation of multiprocessor hardware component
- Patent number 10,528,443
- Issue date Jan 7, 2020
- SAMSUNG ELECTRONICS CO., LTD.
- Sung-Boem Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of atomic memory operations
- Patent number 10,496,449
- Issue date Dec 3, 2019
- International Business Machines Corporation
- Tom Har'el Kolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Attribute driven memory allocation
- Patent number 10,282,232
- Issue date May 7, 2019
- International Business Machines Corporation
- Shai Doron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit modification
- Patent number 9,633,155
- Issue date Apr 25, 2017
- International Business Machines Corporation
- Wesam Ibraheem
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test generation using expected mode of the target hardware device
- Patent number 9,626,267
- Issue date Apr 18, 2017
- International Business Machines Corporation
- Sung-Boem Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Architectural failure analysis
- Patent number 9,569,345
- Issue date Feb 14, 2017
- International Business Machines Corporation
- Ophir Friedler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Control flow error localization
- Patent number 9,251,045
- Issue date Feb 2, 2016
- International Business Machines Corporation
- Ophir Friedler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for post-silicon testing
- Patent number 8,892,386
- Issue date Nov 18, 2014
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware verification using acceleration platform
- Patent number 8,832,502
- Issue date Sep 9, 2014
- International Business Machines Corporation
- Manoj Dusanapudi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
COMPILER-BASED CODE GENERATION FOR POST-SILICON VALIDATION
- Publication number 20220381824
- Publication date Dec 1, 2022
- International Business Machines Corporation
- Hillel Mendelson
- G01 - MEASURING TESTING
Information Patent Application
MODEL-BASED BIASED RANDOM SYSTEM TEST THROUGH REST API
- Publication number 20220382665
- Publication date Dec 1, 2022
- International Business Machines Corporation
- Vitali Sokhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST SPACE SAMPLING FOR MODEL-BASED BIASED RANDOM SYSTEM TEST THROU...
- Publication number 20220382670
- Publication date Dec 1, 2022
- International Business Machines Corporation
- Vitali Sokhin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATICALLY INTRODUCING REGISTER DEPENDENCIES TO TESTS
- Publication number 20210349815
- Publication date Nov 11, 2021
- International Business Machines Corporation
- Hillel Mendelson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UTILIZING TRANSLATION TABLES FOR TESTING PROCESSORS
- Publication number 20210248050
- Publication date Aug 12, 2021
- International Business Machines Corporation
- Tom Kolan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TESTING ADDRESS TRANSLATION CACHE
- Publication number 20210248084
- Publication date Aug 12, 2021
- International Business Machines Corporation
- HILLEL MENDELSON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTIAL-RESULTS POST-SILICON HARDWARE EXERCISER
- Publication number 20210011838
- Publication date Jan 14, 2021
- International Business Machines Corporation
- TOM KOLAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR TEST GENERATION
- Publication number 20200218624
- Publication date Jul 9, 2020
- International Business Machines Corporation
- TOM KOLAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VALIDATION OF MULTIPROCESSOR HARDWARE COMPONENT
- Publication number 20200151074
- Publication date May 14, 2020
- INTERNATIONAL BUSINESS MACHINES CORPORATION
- Sung-Boem Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF ATOMIC MEMORY OPERATIONS
- Publication number 20190377614
- Publication date Dec 12, 2019
- International Business Machines Corporation
- TOM HAR'EL KOLAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ATTRIBUTE DRIVEN MEMORY ALLOCATION
- Publication number 20190227846
- Publication date Jul 25, 2019
- International Business Machines Corporation
- Shai Doron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ATTRIBUTE DRIVEN MEMORY ALLOCATION
- Publication number 20180357101
- Publication date Dec 13, 2018
- International Business Machines Corporation
- Shai Doron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUIT MODIFICATION
- Publication number 20170132346
- Publication date May 11, 2017
- International Business Machines Corporation
- WESAM IBRAHEEM
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VALIDATION OF MULTIPROCESSOR HARDWARE COMPONENT
- Publication number 20160224452
- Publication date Aug 4, 2016
- SAMSUNG LTD.
- Sung-Boem Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST GENERATION USING EXPECTED MODE OF THE TARGET HARDWARE DEVICE
- Publication number 20160224448
- Publication date Aug 4, 2016
- SAMSUNG LTD.
- Sung-Boem Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARCHITECTURAL FAILURE ANALYSIS
- Publication number 20150186250
- Publication date Jul 2, 2015
- International Business Machines Corporation
- Ophir Friedler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROL FLOW ERROR LOCALIZATION
- Publication number 20150186251
- Publication date Jul 2, 2015
- International Business Machines Corporation
- Ophir Friedler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hardware verification using ACCELERATION platform
- Publication number 20140032966
- Publication date Jan 30, 2014
- International Business Machines Corporation
- Manoj Dusanapudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR POST-SILICON TESTING
- Publication number 20130013246
- Publication date Jan 10, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING

Vitali Sokhin

Person

Patents Grantslast 30 patents

Test space sampling for model-based biased random system test throu...

Compiler-based code generation for post-silicon validation

Model-based biased random system test through rest API

Testing address translation cache

Recoverable exceptions generation and handling for post-silicon val...

Partial-results post-silicon hardware exerciser

Utilizing translation tables for testing processors

Automatically introducing register dependencies to tests

Method and apparatus for test generation

Validation of multiprocessor hardware component

Attribute driven memory allocation

Validation of multiprocessor hardware component

Verification of atomic memory operations

Attribute driven memory allocation

Circuit modification

Test generation using expected mode of the target hardware device

Architectural failure analysis

Control flow error localization

Method and apparatus for post-silicon testing

Hardware verification using acceleration platform

Patents Applicationslast 30 patents

COMPILER-BASED CODE GENERATION FOR POST-SILICON VALIDATION

MODEL-BASED BIASED RANDOM SYSTEM TEST THROUGH REST API

TEST SPACE SAMPLING FOR MODEL-BASED BIASED RANDOM SYSTEM TEST THROU...

AUTOMATICALLY INTRODUCING REGISTER DEPENDENCIES TO TESTS

UTILIZING TRANSLATION TABLES FOR TESTING PROCESSORS

TESTING ADDRESS TRANSLATION CACHE

PARTIAL-RESULTS POST-SILICON HARDWARE EXERCISER

METHOD AND APPARATUS FOR TEST GENERATION

VALIDATION OF MULTIPROCESSOR HARDWARE COMPONENT

VERIFICATION OF ATOMIC MEMORY OPERATIONS

ATTRIBUTE DRIVEN MEMORY ALLOCATION

ATTRIBUTE DRIVEN MEMORY ALLOCATION

CIRCUIT MODIFICATION

VALIDATION OF MULTIPROCESSOR HARDWARE COMPONENT

TEST GENERATION USING EXPECTED MODE OF THE TARGET HARDWARE DEVICE

ARCHITECTURAL FAILURE ANALYSIS

CONTROL FLOW ERROR LOCALIZATION

Hardware verification using ACCELERATION platform

METHOD AND APPARATUS FOR POST-SILICON TESTING