Pratik Mahajan

Follow

Person

Cupertino, CA, US

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
Using runtime information from solvers to measure quality of formal...
- Patent number 10,657,307
- Issue date May 19, 2020
- Synopsys, Inc.
- Himanshu Jain
- 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

Patents Applicationslast 30 patents

Information Patent Application
CREATION OF REDUCED FORMAL MODEL FOR SCALABLE SYSTEM-ON-CHIP (SOC)...
- Publication number 20230177244
- Publication date Jun 8, 2023
- Synopsys, Inc.
- Prasun Das
- 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
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