SystemC-based ESL design is a widely accepted approach today. A major verification methodology for SystemC models is Constrained Random Verification. However, the existing SystemC Verification library (SCV) has several deficiencies which limits its practical use. In our demonstrator we present CRAVE, an advanced Constrained RAndom Verification environment. New dynamic features, enhanced usability and parallel constraint-solving improve the verification productivity significantly.