Patent · US Active

Code analysis for simulation efficiency improvement

US9015685B2 · kind B2 · utility

7Cited by

4References

6Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Carsten Greiner · Holzgerlingen, DE
Joerg Kayser · Waldenbuch, DE
Roopesh A. Matayambath · Bengaluru, IN
Juergen Ruf · Lörrach, DE

Key dates

Filing date	Mar 1, 2013
Grant date	Apr 21, 2015
Priority date	—
Expiry date	Oct 17, 2033

Classification

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

Abstract

A method, computer program product, and computer system for analyzing code to improve efficiency of simulating a hardware system. A computer identifies one or more functions calling an application programming interface of a hardware simulator simulating the hardware system. In response to determining that left hand sides of respective one or more Boolean expressions are associated with the one or more functions calling the application programming interface and right hand sides are not associated with the one or more functions calling the application programming interface, the computer identifies the respective one or more Boolean expressions as one or more improvement points in source code for verifying a hardware model of the hardware system.

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