This document discusses Random constraint-based verification and explains how random verification can complement the directed verification for the generic designs ... environment is needed for a new ...