×

Adaptive state-to-symbolic transformation in a canonical representation

  • US 8,099,690 B2
  • Filed: 04/27/2009
  • Issued: 01/17/2012
  • Est. Priority Date: 04/27/2009
  • Status: Active Grant
First Claim
Patent Images

1. 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.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×