Naveh, Y.; Rimon, M.; Jaeger, I.; Katz, Y.; Vinov, M.; Marcu, E. s; Shurek, G. Constraint-Based Random Stimuli Generation for Hardware Verification. AIMag 2007, 28, 13.