Membership
Tour
Register
Log in
Sachin BANSAL
Follow
Person
Noida, IN
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
State table complexity reduction in a hierarchical verification flow
Patent number
11,222,154
Issue date
Jan 11, 2022
Synopsys, Inc.
Kaushik De
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Automated Debug of Falsified Power-Aware Formal Properties using St...
Publication number
20220075920
Publication date
Mar 10, 2022
Synopsys, Inc.
Sachin Bansal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
STATE TABLE COMPLEXITY REDUCTION IN A HIERARCHICAL VERIFICATION FLOW
Publication number
20210110093
Publication date
Apr 15, 2021
Synopsys, Inc.
Kaushik DE
G06 - COMPUTING CALCULATING COUNTING