Naveh, Y., M. Rimon, I. Jaeger, Y. Katz, M. Vinov, E. s Marcu, and G. Shurek. “Constraint-Based Random Stimuli Generation for Hardware Verification”. AI Magazine, vol. 28, no. 3, Sept. 2007, p. 13, doi:10.1609/aimag.v28i3.2052.