Inventor
SINGHAL VIGYAN
US14 patents
⚠️ This page may combine multiple inventors who share the name “SINGHAL VIGYAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
JASPER DESIGN AUTOMATION INC
7 patentsUS7895552B1Feb 22, 2011
Extracting, visualizing, and acting on inconsistencies between a circuit design and its abstraction
JASPER DESIGN AUTOMATION INC30 citations91
US7065726B1Jun 20, 2006
System and method for guiding and optimizing formal verification for a circuit design
JASPER DESIGN AUTOMATION INC36 citations91
US7020856B2Mar 28, 2006
Method for verifying properties of a circuit model
JASPER DESIGN AUTOMATION INC27 citations91
US7418678B1Aug 26, 2008
Managing formal verification complexity of designs with counters
JASPER DESIGN AUTOMATION INC21 citations90
US6611947B1Aug 26, 2003
Method for determining the functional equivalence between two circuit models in a distributed computing environment
JASPER DESIGN AUTOMATION INC37 citations89
US7137078B2Nov 14, 2006
Trace based method for design navigation
JASPER DESIGN AUTOMATION INC30 citations87
US7647572B1Jan 12, 2010
Managing formal verification complexity of designs with multiple related counters
JASPER DESIGN AUTOMATION INC9 citations83
JASPER DESIGN AUTOMATION
2 patentsUS7159198B1Jan 2, 2007
System and method for identifying design efficiency and effectiveness parameters for verifying properties of a circuit model
JASPER DESIGN AUTOMATION63 citations96
US7412674B1Aug 12, 2008
System and method for measuring progress for formal verification of a design using analysis region
JASPER DESIGN AUTOMATION31 citations86