[1]
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 (Sep. 2007), 13. DOI:https://doi.org/10.1609/aimag.v28i3.2052.