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