NAVEH, Y.; RIMON, M.; JAEGER, I.; KATZ, Y.; VINOV, M.; MARCU, E. s; SHUREK, G. Constraint-Based Random Stimuli Generation for Hardware Verification. AI Magazine, [S. l.], v. 28, n. 3, p. 13, 2007. DOI: 10.1609/aimag.v28i3.2052. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2052. Acesso em: 28 mar. 2024.