Naveh, Yehuda, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan s Marcu, and Gil Shurek. “Constraint-Based Random Stimuli Generation for Hardware Verification”. AI Magazine 28, no. 3 (September 15, 2007): 13. Accessed March 29, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2052.