Solution Space Elaboration
Concept**Solution space elaboration** is a constraint-solving behavior in which a solver constructs the full set of legal solutions for a `randomize` call before choosing one solution. In the cited VCS/SystemVerilog constraint-random context, this behavior is specifically associated with the **BDD solver**, which “elaborates the entire solution space of the randomize call before selecting a solution.” [9dce017b-1bb8-4e8e-8b45-0d14653a98c1]
WIKI
Solution Space Elaboration
Solution space elaboration is a constraint-solving behavior in which a solver constructs the full set of legal solutions for a randomize call before choosing one solution. In the cited VCS/SystemVerilog constraint-random context, this behavior is specifically associated with the BDD solver, which “elaborates the entire solution space of the randomize call before selecting a solution.” [1]
Context
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →