Inventor
STANGIER CHRISTIAN
US4 patents
Patents
4 patentsUS7028279B2Apr 11, 2006
Circuit verification
FUJITSU LTD13 citations90
US7571403B2Aug 4, 2009
Circuit verification
FUJITSU LTD4 citations60
US7360186B2Apr 15, 2008
Invariant checking
FUJITSU LTD5 citations58
US7032197B2Apr 18, 2006
System and method for executing image computation associated with a target circuit
FUJITSU LTD0 citations50