Naveh, Yehuda, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan s Marcu, and Gil Shurek. 2007. “Constraint-Based Random Stimuli Generation for Hardware Verification”. AI Magazine 28 (3):13. https://doi.org/10.1609/aimag.v28i3.2052.