Shiri Moran

Person

Kiryat Tivon, 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
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 netlists based on singular independent signals
- Patent number 10,606,971
- Issue date Mar 31, 2020
- International Business Machines Corporation
- Erez Barak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assuring chip reliability with automatic generation of drivers and...
- Patent number 9,600,616
- Issue date Mar 21, 2017
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Template matching for resilience and security characteristics of su...
- Patent number 9,569,582
- Issue date Feb 14, 2017
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assuring chip reliability with automatic generation of drivers and...
- Patent number 9,483,591
- Issue date Nov 1, 2016
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for testing
- Patent number 9,286,426
- Issue date Mar 15, 2016
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental formal verification
- Patent number 8,996,339
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model generation based on a constraint and an initial model
- Patent number 8,352,234
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Sharon Keidar Barner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ERROR PROTECTION ANALYSIS OF AN INTEGRATED CIRCUIT
- Publication number 20240402246
- Publication date Dec 5, 2024
- International Business Machines Corporation
- BENJAMIN NEIL TROMBLEY
- 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
MODIFYING TESTING TOOLS TO TEST NETLISTS BASED ON SINGULAR INDEPEND...
- Publication number 20190163600
- Publication date May 30, 2019
- International Business Machines Corporation
- EREZ BARAK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Template Matching for Resilience and Security Characteristics of Su...
- Publication number 20160154921
- Publication date Jun 2, 2016
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR TESTING
- Publication number 20150310154
- Publication date Oct 29, 2015
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL FORMAL VERIFICATION
- Publication number 20130060545
- Publication date Mar 7, 2013
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
- Publication number 20110071809
- Publication date Mar 24, 2011
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING

Shiri Moran

Person

Patents Grantslast 30 patents

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

Model-based biased random system test through rest API

Testing netlists based on singular independent signals

Assuring chip reliability with automatic generation of drivers and...

Template matching for resilience and security characteristics of su...

Assuring chip reliability with automatic generation of drivers and...

Method and apparatus for testing

Incremental formal verification

Model generation based on a constraint and an initial model

Patents Applicationslast 30 patents

ERROR PROTECTION ANALYSIS OF AN INTEGRATED CIRCUIT

MODEL-BASED BIASED RANDOM SYSTEM TEST THROUGH REST API

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

MODIFYING TESTING TOOLS TO TEST NETLISTS BASED ON SINGULAR INDEPEND...

Template Matching for Resilience and Security Characteristics of Su...

METHOD AND APPARATUS FOR TESTING

INCREMENTAL FORMAL VERIFICATION

MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL