1. A method for executing a hardware simulation and verification solution which includes a simulation kernel to simulate changes in signal values, and a functional coverage module to check coverage for a design under test (DUT), the method comprising: executing the simulation kernel on first processing circuitry, thereby causing the first processing circuitry to: generate value change data which represents changes in a set of signal values which are used in a functional coverage model for the DUT; and store the value change data so that second processing circuitry, which is different from the first processing circuitry, is able to access the value change data; and executing the functional coverage module on the second processing circuitry, thereby causing the second processing circuitry to: determine a functional coverage metric based on the functional coverage model and the value change data; and report the functional coverage metric to a user.