Patents by Inventor KEN WERNER

KEN WERNER 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).

  • Verification assistance for digital circuit designs
    Patent number: 9026968
    Abstract: To assist verification of a digital circuit design, a data processing system presents, within a graphical user interface of a display device, a presentation including a plurality of verification notifications arising from verification of a digital circuit design. The data processing system detects one or more user operations by which a user interacts with the plurality of verification notifications utilizing one or more user input devices and stores, in a memory, user operation information regarding the one or more user operations detected by the data processing system. The data processing system determines, based on said user operation information, a recommended subsequent user operation and presents, within the graphical user interface, an indication of the recommended subsequent user operation.
    Type: Grant
    Filed: February 27, 2014
    Date of Patent: May 5, 2015
    Assignee: International Business Machines Corporation
    Inventors: Carsten Greiner, Gerrit Koch, Juergen Ruf, Ken Werner
  • VERIFICATION ASSISTANCE FOR DIGITAL CIRCUIT DESIGNS
    Publication number: 20140310668
    Abstract: To assist verification of a digital circuit design, a data processing system presents, within a graphical user interface of a display device, a presentation including a plurality of verification notifications arising from verification of a digital circuit design. The data processing system detects one or more user operations by which a user interacts with the plurality of verification notifications utilizing one or more user input devices and stores, in a memory, user operation information regarding the one or more user operations detected by the data processing system. The data processing system determines, based on said user operation information, a recommended subsequent user operation and presents, within the graphical user interface, an indication of the recommended subsequent user operation.
    Type: Application
    Filed: February 27, 2014
    Publication date: October 16, 2014
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: CARSTEN GREINER, GERRIT KOCH, JUERGEN RUF, KEN WERNER