Patents by Inventor Bradley D. Bingham

Bradley D. Bingham 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).

  • Trace-based generation of states within a system
    Patent number: 11481534
    Abstract: A method, computer program product, and a computer system are disclosed for providing a trace abstraction framework to compute trace-based functional coverage models that in one or more embodiments receive a set of traces; rewrite a trace of the set of traces into a second trace; abstract the second trace; rewrite the abstracted second trace; and generate an abstract trace representative the trace of the set of traces.
    Type: Grant
    Filed: March 7, 2019
    Date of Patent: October 25, 2022
    Assignee: International Business Machines Corporation
    Inventors: Flavio M. De Paula, Bradley D. Bingham, Arvind Haran
  • TRACE-BASED GENERATION OF STATES WITHIN A SYSTEM
    Publication number: 20200285712
    Abstract: A method, computer program product, and a computer system are disclosed for providing a trace abstraction framework to compute trace-based functional coverage models that in one or more embodiments receive a set of traces; rewrite a trace of the set of traces into a second trace; abstract the second trace; rewrite the abstracted second trace; and generate an abstract trace representative the trace of the set of traces.
    Type: Application
    Filed: March 7, 2019
    Publication date: September 10, 2020
    Inventors: Flavio M. De Paula, Bradley D. Bingham, Arvind Haran