1. A method, comprising: Identifying, in a circuit design, code blocks for which execution of operations indicated by the code blocks is conditioned on a value of one or more of a set of configuration parameters of the circuit design; determining, for each identified code block, a respective expression indicating whether or not the operations indicated by the code block will be executed for different sets of values of the set of configuration parameters; and for a first set of values of the different sets of values: generating, using a simulation model generator that removes code blocks for which operations indicated by the code blocks are not executed, a first simulation model of the circuit design configured with the first set of values for the configuration parameters; executing the first simulation model; evaluating the determined expressions to determine whether or not each identified code block was realized in the simulation of the circuit design configured with the first set of values for the configuration parameters; and storing a first set of data indicative of ones of identified code blocks determined to be realized in the simulation of the circuit design configured with the first set of values.