Akira MUKAIYAMA

Follow

Person

Tokyo, JP

People

Patents Grantslast 30 patents

Information Patent Grant
Behavioral synthesis apparatus, method, and program having test ben...
- Patent number 8,386,973
- Issue date Feb 26, 2013
- NEC Corporation
- Takashi Takenaka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Behavioral synthesis apparatus, method, and program having test ben...
- Patent number 8,091,051
- Issue date Jan 3, 2012
- NEC Corporation
- Takashi Takenaka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verification of RTL generated from scheduled behavior in...
- Patent number 6,163,876
- Issue date Dec 19, 2000
- NEC USA, Inc.
- Pranav Ashar
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
BEHAVIORAL SYNTHESIS APPARATUS, METHOD, AND PROGRAM HAVING TEST BEN...
- Publication number 20120096418
- Publication date Apr 19, 2012
- NEC Corporation
- Takashi TAKENAKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROPERTY CHECKING SYSTEM, PROPERTY CHECKING METHOD, AND COMPUTER-RE...
- Publication number 20100088656
- Publication date Apr 8, 2010
- AKIRA MUKAIYAMA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROPERTY CHECKING SYSTEM, PROPERTY CHECKING METHOD, AND COMPUTER-RE...
- Publication number 20090249269
- Publication date Oct 1, 2009
- AKIRA MUKAIYAMA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BEHAVIORAL SYNTHESIS APPARATUS, METHOD, AND PROGRAM HAVING TEST BEN...
- Publication number 20080184180
- Publication date Jul 31, 2008
- NEC Corporation
- Takashi TAKENAKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Validation processing apparatus
- Publication number 20080072195
- Publication date Mar 20, 2008
- NEC Corporation
- Akira MUKAIYAMA
- G06 - COMPUTING CALCULATING COUNTING