Inventor
NARAYAN AMIT
US9 patents
⚠️ This page may combine multiple inventors who share the name “NARAYAN AMIT”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
FUJITSU LTD
6 patentsUS7216312B2May 8, 2007
Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures
FUJITSU LTD16 citations92
US7028279B2Apr 11, 2006
Circuit verification
FUJITSU LTD13 citations90
US6904578B2Jun 7, 2005
System and method for verifying a plurality of states associated with a target circuit
FUJITSU LTD8 citations72
US7788556B2Aug 31, 2010
System and method for evaluating an erroneous state associated with a target circuit
FUJITSU LTD1 citations61
US7571403B2Aug 4, 2009
Circuit verification
FUJITSU LTD4 citations60
US7032197B2Apr 18, 2006
System and method for executing image computation associated with a target circuit
FUJITSU LTD0 citations50