US7797123B2 - Method and Apparatus for Extracting Assume Properties from a Constrained Random Test-Bench