Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek. Constraint-Based Random Stimuli Generation for Hardware Verification. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. pages 1720-1727, AAAI Press, 2006.
@inproceedings{NavehRJKVMS06,
title = {Constraint-Based Random Stimuli Generation for Hardware Verification},
author = {Yehuda Naveh and Michal Rimon and Itai Jaeger and Yoav Katz and Michael Vinov and Eitan Marcus and Gil Shurek},
year = {2006},
tags = {rule-based, constraints},
researchr = {https://researchr.org/publication/NavehRJKVMS06},
cites = {0},
citedby = {0},
pages = {1720-1727},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA},
publisher = {AAAI Press},
}