Performing implication and decision making using multiple value systems during constraint solving
AssigneeSynopsys, Inc.
InventorsQiang Qiang, Dhiraj Goswami
Life of this patent
Estimating the term…
Abstract
Methods and apparatuses are described for assigning random values to a set of random variables so that the assigned random values satisfy a set of constraints. An embodiment can receive a set of constraints, wherein each constraint is defined over one or more random variables from a set of random variables. Next, the embodiment can generate a circuit model based on the set of constraints, wherein assignable values for at least one node in the circuit model are represented in multiple value systems. The embodiment can then assign random values to the set of random variables based on the circuit model.
Claims27
A method for assigning random values to a set of random variables, the method comprising:
- receiving a set of constraints, wherein each constraint is defined over one or more random variables from the set of random variables;
- generating a circuit model based on the set of constraints, wherein assignable values for at least one node in the circuit model are represented in multiple value systems;
- and
- assigning, by using one or more computers, random values to the set of random variables based on the circuit model.
A non-transitory computer-readable storage medium storing instructions that when executed by a computer cause the computer to perform a method for assigning random values to a set of random variables, the method comprising:
- receiving a set of constraints, wherein each constraint is defined over one or more random variables from the set of random variables;
- generating a circuit model based on the set of constraints, wherein assignable values for at least one node in the circuit model are represented in multiple value systems;
- and
- assigning random values to the set of random variables based on the circuit model.
A computer system, comprising:
- a processor;
- and
- a non-transitory computer-readable storage medium storing instructions that when executed by the processor cause the computer system to perform a method for assigning random values to a set of random variables, the method comprising:
- receiving a set of constraints, wherein each constraint is defined over one or more random variables from the set of random variables;
- generating a circuit model based on the set of constraints, wherein assignable values for at least one node in the circuit model are represented in multiple value systems;
- and
- assigning random values to the set of random variables based on the circuit model.
Dependencies are inferred from the claim text.