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