Koichiro Takayama

Person

Tokyo, JP

People

Patents Grantslast 30 patents

Information Patent Grant
Arithmetic processing device storing diagnostic results in parallel...
- Patent number 10,248,479
- Issue date Apr 2, 2019
- Fujitsu Limited
- Makoto Suga
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Information processing apparatus, memory controller, and memory con...
- Patent number 10,078,602
- Issue date Sep 18, 2018
- Fujitsu Limited
- Akio Tokoyoda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification supporting system
- Patent number 8,312,400
- Issue date Nov 13, 2012
- Fujitsu Limited
- Ryosuke Oishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of requirements specification, design specification, a...
- Patent number 8,079,001
- Issue date Dec 13, 2011
- Fujitsu Limited
- Qiang Zhu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification support apparatus, verification support method, and co...
- Patent number 8,079,003
- Issue date Dec 13, 2011
- Fujitsu Limited
- Koichiro Takayama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification supporting apparatus, verification supporting method,...
- Patent number 8,015,519
- Issue date Sep 6, 2011
- Fujitsu Limited
- Akio Matsuda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification supporting system
- Patent number 7,984,403
- Issue date Jul 19, 2011
- Fujitsu Limited
- Ryosuke Oishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Invariant checking
- Patent number 7,360,186
- Issue date Apr 15, 2008
- Fujitsu Limited
- Thomas W. Sidle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit verification using multiple engines
- Patent number 7,281,225
- Issue date Oct 9, 2007
- Fujitsu Limited
- Jawahar Jain
- G01 - MEASURING TESTING
Information Patent Grant
High level validation of designs and products
- Patent number 7,275,231
- Issue date Sep 25, 2007
- Fujitsu Limited
- Praveen Kumar Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Node grouping method and data transmitting method in a network
- Patent number 6,334,156
- Issue date Dec 25, 2001
- Fujitsu Limited
- Hidetoshi Matsuoka
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method for verification of combinational circuits using a filtering...
- Patent number 6,301,687
- Issue date Oct 9, 2001
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verification of combinational circuits using a filtering...
- Patent number 6,086,626
- Issue date Jul 11, 2000
- Fijutsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Variable logic operation apparatus
- Patent number 5,424,734
- Issue date Jun 13, 1995
- Fujitsu Limited
- Kioto Hirahara
- H03 - BASIC ELECTRONIC CIRCUITRY

Patents Applicationslast 30 patents

Information Patent Application
ARITHMETIC PROCESSING DEVICE, INFORMATION PROCESSING APPARATUS AND...
- Publication number 20160350196
- Publication date Dec 1, 2016
- Fujitsu Limited
- Makoto SUGA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFORMATION PROCESSING APPARATUS, MEMORY CONTROLLER, AND MEMORY CON...
- Publication number 20160342541
- Publication date Nov 24, 2016
- Fujitsu Limited
- Akio Tokoyoda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING SYSTEM, AN...
- Publication number 20160191376
- Publication date Jun 30, 2016
- FUJITSU LIMITED
- Masahiro Maeda
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VERIFICATION SUPPORTING SYSTEM
- Publication number 20110239172
- Publication date Sep 29, 2011
- Fujitsu Limited
- Ryosuke Oishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION COMPUTER PRODUCT AND APPARATUS
- Publication number 20110138228
- Publication date Jun 9, 2011
- Fujitsu Limited
- Koichiro Takayama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION PROGRAM, DETECTING DEVICE, AND DETECTING METHOD
- Publication number 20090319246
- Publication date Dec 24, 2009
- Fujitsu Limited
- Koichiro Takayama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATTERN EXTRACTION METHOD AND APPARATUS
- Publication number 20090319829
- Publication date Dec 24, 2009
- Fujitsu Limited
- Koichiro Takayama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION SUPPORTING SYSTEM
- Publication number 20090287965
- Publication date Nov 19, 2009
- Fujitsu Limited
- Ryosuke Oishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, AND CO...
- Publication number 20090276741
- Publication date Nov 5, 2009
- Fujitsu Limited
- Koichiro Takayama
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION SUPPORTING APPARATUS, VERIFICATION SUPPORTING METHOD,...
- Publication number 20090276740
- Publication date Nov 5, 2009
- Fujitsu Limited
- Akio Matsuda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SPECIFICATION VERIFICATION PROGRAM, COMPUTER-READABLE STORAGE MEDIU...
- Publication number 20080312890
- Publication date Dec 18, 2008
- FUJITSU LIMITED
- Qiang ZHU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
High level validation of designs and products
- Publication number 20060059444
- Publication date Mar 16, 2006
- FUJITSU LIMITED
- Praveen Kumar Murthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Invariant checking
- Publication number 20050278669
- Publication date Dec 15, 2005
- FUJITSU LIMITED
- Thomas W. Sidle
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Circuit verification using multiple engines
- Publication number 20050138474
- Publication date Jun 23, 2005
- Jawahar Jain
- G01 - MEASURING TESTING

Koichiro Takayama

Person

Patents Grantslast 30 patents

Arithmetic processing device storing diagnostic results in parallel...

Information processing apparatus, memory controller, and memory con...

Verification supporting system

Verification of requirements specification, design specification, a...

Verification support apparatus, verification support method, and co...

Verification supporting apparatus, verification supporting method,...

Verification supporting system

Invariant checking

Circuit verification using multiple engines

High level validation of designs and products

Node grouping method and data transmitting method in a network

Method for verification of combinational circuits using a filtering...

Method for verification of combinational circuits using a filtering...

Variable logic operation apparatus

Patents Applicationslast 30 patents

ARITHMETIC PROCESSING DEVICE, INFORMATION PROCESSING APPARATUS AND...

INFORMATION PROCESSING APPARATUS, MEMORY CONTROLLER, AND MEMORY CON...

INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING SYSTEM, AN...

VERIFICATION SUPPORTING SYSTEM

VERIFICATION COMPUTER PRODUCT AND APPARATUS

DETECTION PROGRAM, DETECTING DEVICE, AND DETECTING METHOD

PATTERN EXTRACTION METHOD AND APPARATUS

VERIFICATION SUPPORTING SYSTEM

VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, AND CO...

VERIFICATION SUPPORTING APPARATUS, VERIFICATION SUPPORTING METHOD,...

SPECIFICATION VERIFICATION PROGRAM, COMPUTER-READABLE STORAGE MEDIU...

High level validation of designs and products

Invariant checking

Circuit verification using multiple engines