Y. Naveh, “Constraint-Based Random Stimuli Generation for Hardware Verification”, AIMag, vol. 28, no. 3, p. 13, Sep. 2007.