Sandeep JANA

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Efficient mechanism for interactive fault analysis in formal verifi...
- Patent number 11,010,522
- Issue date May 18, 2021
- Synopsys, Inc.
- Xiaolin Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for handling 360 degree image content
- Patent number 10,715,725
- Issue date Jul 14, 2020
- Samsung Electronics Co., Ltd.
- Anand Bhoraskar
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method and apparatus for selecting capture configuration based on s...
- Patent number 10,630,888
- Issue date Apr 21, 2020
- Samsung Electronics Co., Ltd.
- Sankaranarayanan Parameswaran
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Efficient mechanism of fault qualification using formal verification
- Patent number 10,592,624
- Issue date Mar 17, 2020
- Synopsis, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
CONTINUAL LEARNING TECHNIQUES FOR TRAINING MODELS
- Publication number 20240144081
- Publication date May 2, 2024
- ORACLE INTERNATIONAL CORPORATION
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Debugging non-detected faults using sequential equivalence checking
- Publication number 20210216694
- Publication date Jul 15, 2021
- Synopsys, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR HANDLING 360 DEGREE IMAGE CONTENT
- Publication number 20190306422
- Publication date Oct 3, 2019
- SAMSUNG ELECTRONICS CO., LTD.
- Anand Bhoraskar
- G03 - PHOTOGRAPHY CINEMATOGRAPHY ELECTROGRAPHY HOLOGRAPHY
Information Patent Application
Efficient Mechanism for Interactive Fault Analysis in Formal Verifi...
- Publication number 20190147121
- Publication date May 16, 2019
- Synopsys, Inc.
- Xiaolin Chen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT MECHANISM OF FAULT QUALIFICATION USING FORMAL VERIFICATION
- Publication number 20180349521
- Publication date Dec 6, 2018
- Synopsys, Inc.
- Sandeep Jana
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR SELECTING CAPTURE CONFIGURATION BASED ON S...
- Publication number 20180227479
- Publication date Aug 9, 2018
- Samsung Electronics Co., Ltd.
- Sankaranarayanan PARAMESWARAN
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Sandeep JANA

Person

Patents Grantslast 30 patents

Efficient mechanism for interactive fault analysis in formal verifi...

Method and system for handling 360 degree image content

Method and apparatus for selecting capture configuration based on s...

Efficient mechanism of fault qualification using formal verification

Patents Applicationslast 30 patents

CONTINUAL LEARNING TECHNIQUES FOR TRAINING MODELS

Debugging non-detected faults using sequential equivalence checking

METHOD AND SYSTEM FOR HANDLING 360 DEGREE IMAGE CONTENT

Efficient Mechanism for Interactive Fault Analysis in Formal Verifi...

EFFICIENT MECHANISM OF FAULT QUALIFICATION USING FORMAL VERIFICATION

METHOD AND APPARATUS FOR SELECTING CAPTURE CONFIGURATION BASED ON S...