Verification assistance for digital circuit designs

摘要

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.

主权项

1. A method of assisting verification of a digital circuit design, the method comprising:
a data processing system presenting, within a graphical user interface of a display device, a presentation including a plurality of graphical verification notifications arising from verification of a digital circuit design; the data processing system detecting one or more user operations by which a user interacts with the plurality of graphical verification notifications utilizing one or more user input devices and storing, in a memory, user operation information regarding the one or more user operations detected by the data processing system; and the data processing system determining, based on said user operation information, a recommended subsequent user operation and presenting, within the graphical user interface, a user-selectable indication of the recommended subsequent user operation, wherein said recommended subsequent user operation is analogous to a user operation of a previous sequence of multiple user operations, and wherein said user operation information in the previous sequence of multiple user operations includes reference information specifying details of a context to which the one or more user operations apply.