Membership
Tour
Register
Log in
Vigyan Singhal
Follow
Person
Fremont, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Extracting, visualizing, and acting on inconsistencies between a ci...
Patent number
7,895,552
Issue date
Feb 22, 2011
Jasper Design Automation, Inc.
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Managing formal verification complexity of designs with multiple re...
Patent number
7,647,572
Issue date
Jan 12, 2010
Jasper Design Automation, Inc.
Chung-Wah Norris Ip
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Managing formal verification complexity of designs with counters
Patent number
7,418,678
Issue date
Aug 26, 2008
Jasper Design Automation, Inc.
Chung-Wah N Ip
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for measuring progress for formal verification of...
Patent number
7,412,674
Issue date
Aug 12, 2008
Jasper Design Automation
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for identifying design efficiency and effectivene...
Patent number
7,159,198
Issue date
Jan 2, 2007
Jasper Design Automation
Chung-Wah Norris Ip
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Trace based method for design navigation
Patent number
7,137,078
Issue date
Nov 14, 2006
Jasper Design Automation, Inc.
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for guiding and optimizing formal verification fo...
Patent number
7,065,726
Issue date
Jun 20, 2006
Jasper Design Automation, Inc.
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method for verifying properties of a circuit model
Patent number
7,020,856
Issue date
Mar 28, 2006
Jasper Design Automation, Inc.
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method for rapidly determining the functional equivalence between t...
Patent number
6,993,730
Issue date
Jan 31, 2006
Tempus Fugit, Inc.
Joseph E. Higgins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method for determining the functional equivalence between two circu...
Patent number
6,611,947
Issue date
Aug 26, 2003
Jasper Design Automation, Inc.
Joseph E. Higgins
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for combinational verification having tight integ...
Patent number
6,308,299
Issue date
Oct 23, 2001
Cadence Design Systems, Inc.
Jerry R. Burch
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system of latch mapping for combinational equivalence ch...
Patent number
6,247,163
Issue date
Jun 12, 2001
Cadence Design Systems, Inc.
Jerry R. Burch
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Trace based method for design navigation
Publication number
20040194046
Publication date
Sep 30, 2004
TEMPUS FUGIT INC.
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method for verifying properties of a circuit model
Publication number
20030208730
Publication date
Nov 6, 2003
TEMPUS FUGIT INC.
Vigyan Singhal
G06 - COMPUTING CALCULATING COUNTING