Adaptive state-to-symbolic transformation in a canonical representation
First Claim
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.
1 Assignment
0 Petitions
Accused Products
Abstract
Some embodiments provide a system for adaptively performing state-to-symbolic transformation in a canonical representation which is used for generating random stimulus for a constrained-random simulation. The system can construct a canonical representation for a set of constraints using the set of random variables and the subset of the state variables in the constraints. Next, the system can use the canonical representation to generate random stimulus for the constrained-random simulation, and monitor parameters associated with the constrained-random simulation. Next, the system can add state variables to or remove state variables from the canonical representation based at least on the monitored parameters. The system can then use the modified canonical representation which has a different set of state variables to generate random stimulus for the constrained-random simulation.
-
Citations
20 Claims
-
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 Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14)
-
-
15. A computer-readable storage device storing instructions that when executed by a computer cause the computer to perform a method for adaptively performing state-to-symbolic transformation during constrained-random simulation, the method comprising:
-
generating, based on a first canonical representation, 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 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 Dependent Claims (16, 17, 18, 19)
-
-
20. An apparatus to adaptively perform state-to-symbolic transformation during constrained-random simulation, the apparatus comprising:
-
a first generating mechanism configured to generate, based on a first canonical representation, 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; a monitoring mechanism configured to monitor parameters associated with the constrained-random simulation to obtain monitoring data; a transforming mechanism configured to; determine, 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; and construct 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 a second generating mechanism configured to generate, based on the second canonical representation, random stimulus for the constrained-random simulation.
-
Specification