Membership
Tour
Register
Log in
Pankaj P. Chauhan
Follow
Person
San Jose, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Concolic equivalence checking
Patent number
11,017,139
Issue date
May 25, 2021
SIEMENS INDUSTRY SOFTWARE INC.
Pritam Roy
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Formal verification using microtransactions
Patent number
10,515,168
Issue date
Dec 24, 2019
Mentor Graphics Corporation
Pankaj P. Chauhan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Formal verification using microtransactions
Patent number
9,817,929
Issue date
Nov 14, 2017
Calypto Design Systems, Inc.
Pankaj P. Chauhan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for determining equiva...
Patent number
8,122,401
Issue date
Feb 21, 2012
Calypto Design Systems, Inc.
Pankaj P. Chauhan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for determining equiva...
Patent number
8,117,571
Issue date
Feb 14, 2012
Calypto Design Systems, Inc.
Pankaj P. Chauhan
G06 - COMPUTING CALCULATING COUNTING