Patents by Inventor Wei-Ting Tu

Wei-Ting Tu 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).

  • Methods and systems for evaluating checker quality of a verification environment
    Patent number: 8359559
    Abstract: Methods and systems for evaluating checker quality of a verification environment are provided. In some embodiments, an overall sensitivity for the verification environment and an individual sensitivity for a respective checker are calculated. The overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system including at least one checker, can be detected by the verification environment. The individual sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to at least one specific probe among a plurality of probes of a design, can be detected by the checker corresponding to the specific probe. The overall checker sensitivity numbers can show the robustness of the check system. The individual checker sensitivity can guide the user which individual checker or checkers to improve.
    Type: Grant
    Filed: December 23, 2010
    Date of Patent: January 22, 2013
    Assignees: Springsoft Inc., Springsoft USA, Inc.
    Inventors: Kai Yang, Michael Lyons, Kuo-Ching Lin, Wei-Ting Tu, Chih-Wen Chang, Tein-Chun Wei
  • Methods and Systems for Evaluating Checker Quality of a Verification Environment
    Publication number: 20110302541
    Abstract: Methods and systems for evaluating checker quality of a verification environment are provided. In some embodiments, an overall sensitivity for the verification environment and an individual sensitivity for a respective checker are calculated. The overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system including at least one checker, can be detected by the verification environment. The individual sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to at least one specific probe among a plurality of probes of a design, can be detected by the checker corresponding to the specific probe. The overall checker sensitivity numbers can show the robustness of the check system. The individual checker sensitivity can guide the user which individual checker or checkers to improve.
    Type: Application
    Filed: December 23, 2010
    Publication date: December 8, 2011
    Applicant: SPRINGSOFT INC.
    Inventors: Kai Yang, Michael Lyons, Kuo-Ching Lin, Wei-Ting Tu, Chih-Wen Chang, Tein-Chun Wei