Inventor

KUMON YUKI

JP2 patents

Patents

2 patents

US7143375B2Nov 28, 2006

Logical equivalence verifying device, method and computer readable medium thereof

FUJITSU LTD6 citations71

US7337414B2Feb 26, 2008

Logical equivalence verifying device, method, and computer-readable medium thereof

FUJITSU LTD4 citations60