Patent ID: 9069574
Filing Date: 2015-06-30
Classification: G06F

Abstract:
1. A computer program product for analyzing code to improve efficiency of simulating a hardware system, the computer program product comprising: one or more computer-readable tangible storage devices and program instructions stored on at least one of the one or more computer-readable tangible storage devices, the program instructions comprising: program instructions to identify one or more functions calling an application programming interface (API) of a hardware simulator simulating the hardware system; and program instructions to identify respective one or more Boolean expressions as one or more improvement points in source code for verifying a hardware model of the hardware system, in response to determining that left hand sides of the respective one or more Boolean expressions are associated with the one or more functions calling the application programming interface and in response to determining that right hand sides of the respective one or more Boolean expressions are not associated with the one or more functions calling the application programming interface.