Naveh Y, Rimon M, Jaeger I, Katz Y, Vinov M, Marcu E s, Shurek G. Constraint-Based Random Stimuli Generation for Hardware Verification. AIMag [Internet]. 2007Sep.15 [cited 2024Apr.19];28(3):13. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2052