Is there a way to dynamically add constraints?

[dark-trojan789]

Hello guys, I wanted to know if there is way to randomly add constraints to a pyvsc.randobj?

for example I wanted to extend a base class to dynamically add constraints from a TOML file into the extended class

@vsc.randobj
class Ctrl_Base:
     def __init__(self):
         self.start = vsc.rand_bit_t(1)
         self.gen_interrupt = vsc.rand_bit_t(1)
         self.pd_in_b = vsc.rand_bit_t(1)
         self.from_b = vsc.rand_bit_t(1)
         self.to_a = vsc.rand_bit_t(1)
         self.use_pd = vsc.rand_bit_t(1)
         pass
     def get_val(self):
         return { "start":self.start,
"gen_interrupt":self.gen_interrupt,
"pd_in_b":self.pd_in_b,
"from_b":self.from_b,
"to_a":self.to_a,
"use_pd":self.use_pd }


class DMA_REG_VSC:

    def add_constraints_toml(self, tomlfile):
        if tomlfile:
            with open(tomlfile, "r") as f:
                constraints = tomlkit.load(f)

        if "DMA_Reg" in constraints:
            for section, values in constraints["DMA_Reg"].items():
                # Retrieve the base class dynamically
                base_class_name = f"{section}_Base"
                base_class = globals().get(base_class_name)
                if not base_class:
                    raise ValueError(f"Base class {base_class_name} not found.")

                
                # Define a PyVSC constraint dynamically
                def create_constraint_fn(constraints_dict):
                    @vsc.dynamic_constraint
                    def constraints_fn(self):
                        #TODO add constraints
                    return constraints_fn

                # Create the constraint function
                constraints_fn = create_constraint_fn(values)

                # Dynamically create a new class with the constraint
                class_name = f"{section}_Extnd"
                constraint_class = type(class_name, (base_class,), {f"{section}_c": constraints_fn})

[mballance]

Interesting idea... I think a lot will depend on what the TOML file content looks like. You can find the code the builds constraints here:

pyvsc/src/vsc/rand_obj.py

Lines 202 to 214 in 4476b83

	if isinstance(fo, constraint_t):
	clear_exprs()
	block = ConstraintBlockModel(f)
	block.srcinfo = fo.srcinfo
	push_constraint_scope(block)
	try:
	fo.c(self)
	except Exception as e:
	print("Exception while processing constraint: " + str(e))
	raise e
	fo.set_model(pop_constraint_scope())
	model.add_constraint(fo.model)
	clear_exprs()

Basically, the constraint method is called to build up a constraint model, and that constraint model is added to the rand-obj model. You should be able to use Python dynamic evaluation (exec / eval) to evaluate constraints read from your TOML file and build a PyVSC constraint data model.