Inventor
MULAM KALYANA C
US13 patents
⚠️ This page may combine multiple inventors who share the name “MULAM KALYANA C”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MENTOR GRAPHICS CORP
5 patentsUS6848088B1Jan 25, 2005
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP69 citations96
US6885983B1Apr 26, 2005
Method for automatically searching for functional defects in a description of a circuit
MENTOR GRAPHICS CORP42 citations94
US7890897B2Feb 15, 2011
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP11 citations91
US9262557B2Feb 16, 2016
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP1 citations61
US9684760B2Jun 20, 2017
Measure of analysis performed in property checking
MENTOR GRAPHICS CORP0 citations51
O IN DESIGN AUTOMATION
2 patentsUS6175946B1Jan 16, 2001
Method for automatically generating checkers for finding functional defects in a description of a circuit
O IN DESIGN AUTOMATION130 citations96
US6292765B1Sep 18, 2001
Method for automatically searching for functional defects in a description of a circuit
O IN DESIGN AUTOMATION67 citations94