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.
No references recorded for this publication.
No citations of this publication recorded.