Code analysis for simulation efficiency improvement

A computer system for analyzing code to improve efficiency of simulating a hardware system, the computer system comprising:

• one or more processors, 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 for execution by at least one of the one or more processors, 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.