Constraint Solving
TechniqueConstraint solving is a verification technique used in constrained randomization workflows, including RISC-V instruction generation and UVM-style testbenches. In the provided evidence, it is a major runtime factor in RISCV-DV, while eUVM combines native, BDD-based, and SMT/SAT solvers to handle constraints of varying complexity.
WIKI
Overview
Constraint solving appears in the evidence as the execution of constraint solvers during constrained randomization, especially for generating randomized instruction streams and randomized verification data. In RISCV-DV profiling, two of the four largest runtime bottlenecks were tied to randomization and solving constraints: directed instruction stream generation and non-directed instruction stream dumping. The paper notes that most of the time in these stages was spent executing constraint solvers or solving constraints. [RISCV-DV bottlenecks]
Use in instruction generation
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →