Patent ID: 8099690

Claim:
A method for adaptively performing state-to-symbolic transformation during constrained-random simulation, the method comprising: generating, based on a random stimulus for the constrained-random simulation, wherein the first canonical representation represents a set of constraints defined over a set of random variables and a set of state variables, and wherein the first canonical representation is constructed based on the set of random variables and a first subset of the set of state variables; monitoring parameters associated with the constrained-random simulation to obtain monitoring data; determining, based at least on the monitoring data, a second subset of the set of state variables which is different from the first subset of the set of state variables; constructing, by computer, a second canonical representation based on the set of random variables and the second subset of the set of state variables, wherein the second canonical representation represents the set of constraints; and generating, based on the second canonical representation, random stimulus for the constrained-random simulation.