Inventor
IYER SUBRAMANIAN K
US8 patents
⚠️ This page may combine multiple inventors who share the name “IYER SUBRAMANIAN K”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
FUJITSU LTD
7 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
US7546563B2Jun 9, 2009
Validating one or more circuits using one of more grids
FUJITSU LTD8 citations82
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