Patents by Inventor Simon Rushton

Simon Rushton 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).

  • Probabilistic regression suites for functional verification
    Patent number: 7865340
    Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.
    Type: Grant
    Filed: May 16, 2008
    Date of Patent: January 4, 2011
    Assignee: International Business Machines Corporation
    Inventors: Shai Fine, Shmuel Ur, Avi Ziv, Simon Rushton
  • Probabilistic regression suites for functional verification
    Patent number: 7729891
    Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.
    Type: Grant
    Filed: June 6, 2005
    Date of Patent: June 1, 2010
    Assignee: International Business Machines Corporation
    Inventors: Shai Fine, Shmuel Ur, Avi Ziv, Simon Rushton
  • Probabilistic regression suites for functional verification
    Publication number: 20080255813
    Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.
    Type: Application
    Filed: May 16, 2008
    Publication date: October 16, 2008
    Inventors: Shai Fine, Shmuel Ur, Avi Ziv, Simon Rushton
  • Probabilistic regression suites for functional verification
    Publication number: 20070010975
    Abstract: Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.
    Type: Application
    Filed: June 6, 2005
    Publication date: January 11, 2007
    Applicant: International Business Machines Corporation
    Inventors: Shai Fine, Shmuel Ur, Avi Ziv, Simon Rushton