Patents by Inventor Kenya Takeyama

Kenya Takeyama has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Logic verification device, logic verification method and logic verification computer program
    Patent number: 7131086
    Abstract: A logic verification device, a logic verification method and a logic verification computer program that can reduce the number of steps involved in designing a logic circuit particularly when the designed logic circuit is subjected to logic verification and modification at the spot where an error is detected.
    Type: Grant
    Filed: August 11, 2004
    Date of Patent: October 31, 2006
    Assignee: Fujitsu Limited
    Inventors: Junya Yamasaki, Sumiko Maeda, Kenya Takeyama, Yukio Makino
  • Logic verification device, logic verification method and logic verification computer program
    Publication number: 20050229122
    Abstract: A logic verification device, a logic verification method and a logic verification computer program that can reduce the number of steps involved in designing a logic circuit particularly when the designed logic circuit is subjected to logic verification and modification at the spot where an error is detected.
    Type: Application
    Filed: August 11, 2004
    Publication date: October 13, 2005
    Applicant: Fujitsu Limited
    Inventors: Junya Yamasaki, Sumiko Maeda, Kenya Takeyama, Yukio Makino
  • Drawing input apparatus, drawing input program and drawing input method
    Publication number: 20050216835
    Abstract: The present invention as disclosed hereby is to provide a drawing input apparatus, drawing input program and drawing input method. The drawing input apparatus comprising: a drawing inputting/editing portion adapted to input or edit drawing data; a rule information storing portion adapted to store therein rule information defining rules for inputting or editing the drawing data; and a rule checking portion adapted to check by using the rule information a part which is present in the drawing data and which is modified based on a predetermined operation on the condition that said drawing inputting/editing portion executes such a predetermined operation.
    Type: Application
    Filed: July 13, 2004
    Publication date: September 29, 2005
    Applicant: FUJITSU LIMITED
    Inventors: Katsushi Aoki, Rimi Mizuno, Eiji Furukawa, Kenya Takeyama