Patent · US Active

Verification assistance for digital circuit designs

US9026968B2 · kind B2 · utility

0Cited by

5References

18Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Carsten Greiner · Holzgerlingen, DE
Gerrit Koch · Herrenberg, DE
Juergen Ruf · Lörrach, DE
Ken Werner · Lörrach, DE

Key dates

Filing date	Feb 27, 2014
Grant date	May 5, 2015
Priority date	—
Expiry date	Feb 27, 2034

Classification

Technology area (CPC G)Physics
CPC primaryG06F30/39
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.