Randomization, Coverage and Assertion Gotchas

  • Stuart Sutherland
  • Don Mills


In order for object variable values to be randomized, each variable in the object must be declared with a rand or randc tag. Random values are generated when the object’s .randomize method is called.


Class Object System Task Functional Coverage Implication Operator Executable Statement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Stuart Sutherland
    • 1
  • Don Mills
    • 2
  1. 1.Sutherland HDL, Inc.TualatinUSA
  2. 2.LCDM EngineeringChandlerUSA

Personalised recommendations