Arunava Saha

Follow

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Estimating hardness of formal properties using on-the-fly machine l...
- Patent number 11,501,048
- Issue date Nov 15, 2022
- Synopsys, Inc.
- Arunava Saha
- G06 - COMPUTING CALCULATING COUNTING
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
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
Information Patent Grant
RTL verification using computational complexity-based property rank...
- Patent number 10,521,536
- Issue date Dec 31, 2019
- Synopsys, Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification using cached search path information to verify...
- Patent number 10,503,853
- Issue date Dec 10, 2019
- Synopsys, Inc.
- Arunava Saha
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
RTL Verification Using Computational Complexity-Based Property Rank...
- Publication number 20180144071
- Publication date May 24, 2018
- Synopsys, Inc.
- Jinqing Yu
- G06 - COMPUTING CALCULATING COUNTING