Patents by Inventor Tonny Kai Tong Yu

Tonny Kai Tong Yu 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).

  • Computer model of a finite state machine having inputs, outputs, delayed inputs and delayed outputs
    Patent number: 5706473
    Abstract: A computer system having a computer model of a Finite State Machine (FSM). The computer system includes a processor coupled to receive and manipulate the computer model, and a memory. The memory includes a computer model. The computer model includes, a first set of inputs, a first set of delayed inputs, a first set of outputs and a first set of delayed outputs. The computer model has a first output of the first set of outputs corresponding to a first input of the first set of inputs, a first delayed input of the first set of inputs and a first delayed output of the first set of delayed outputs.
    Type: Grant
    Filed: March 31, 1995
    Date of Patent: January 6, 1998
    Assignee: Synopsys, Inc.
    Inventors: Tonny Kai Tong Yu, Shir-Shen Chang, Janet Lynn O'Neil