Inventor
TAKAYAMA KOICHIRO
JP18 patents
⚠️ This page may combine multiple inventors who share the name “TAKAYAMA KOICHIRO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
FUJITSU LTD
14 patentsUS6301687B1Oct 9, 2001
Method for verification of combinational circuits using a filtering oriented approach
FUJITSU LTD135 citations98
US7281225B2Oct 9, 2007
Circuit verification using multiple engines
FUJITSU LTD28 citations92
US6334156B1Dec 25, 2001
Node grouping method and data transmitting method in a network
FUJITSU LTD38 citations91
US7168014B2Jan 23, 2007
Propagating an error through a network
FUJITSU LTD13 citations84
US7366951B2Apr 29, 2008
Method and apparatus for test program generation based on an instruction set description of a processor
FUJITSU LTD9 citations83
US7275231B2Sep 25, 2007
High level validation of designs and products
FUJITSU LTD14 citations81
US10230625B2Mar 12, 2019
Information processing apparatus, information processing system, and communication device
FUJITSU LTD3 citations72
US5424734AJun 13, 1995
Variable logic operation apparatus
FUJITSU LTD18 citations69
US6877141B2Apr 5, 2005
Evaluating a validation vector for validating a network design
FUJITSU LTD4 citations63
US7984403B2Jul 19, 2011
Verification supporting system
FUJITSU LTD3 citations62
US8015519B2Sep 6, 2011
Verification supporting apparatus, verification supporting method, and computer product
FUJITSU LTD2 citations61
US7360186B2Apr 15, 2008
Invariant checking
FUJITSU LTD5 citations58
US10078602B2Sep 18, 2018
Information processing apparatus, memory controller, and memory control method
FUJITSU LTD1 citations49
US10248479B2Apr 2, 2019
Arithmetic processing device storing diagnostic results in parallel with diagnosing, information processing apparatus and control method of arithmetic processing device
FUJITSU LTD0 citations39