An Advanced Constrained Random Verification Environment for SystemC
PaperFirst seen 7/17/2026
Last seen 7/17/2026
Evidence 6 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
20 connectionsThe paper compares the new approach to SCV and identifies SCV weaknesses.
The paper is authored by Finn Haedicke.
The paper is authored by Hoang M. Le.
The paper is authored by Rolf Drechsler.
The paper was published by the University of Bremen.
The paper introduces an advanced Constrained Random Verification environment for SystemC.
The paper targets CRV for SystemC.
The paper evaluates the parallel constraint solving approach using ALU stimulus generation as a benchmark.
The paper references metaSMT for solver integration.
The paper introduces parallel constraint solving as a new feature of the CRV environment.
The paper introduces dynamic constraints including constraint management and references.
The paper introduces inline generators as part of the CRV environment.
The paper references Quality-Driven SystemC Design.
The paper references SMT-based stimuli generation work.
The paper references improvements for constraint solving.
The paper introduces the randv template for random variables.
The paper introduces the rand_obj class for random objects.
The paper introduces the rand_vec template for vector constraints.
The paper is authored by Daniel Große.
The paper introduces the Generator object for inline generators.