Constraint-Based Random Stimuli Generation for Hardware Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Yehuda Naveh' in GoogleThis author has not been identified. Look up 'Michal Rimon' in GoogleThis author has not been identified. Look up 'Itai Jaeger' in GoogleThis author has not been identified. Look up 'Yoav Katz' in GoogleThis author has not been identified. Look up 'Michael Vinov' in GoogleThis author has not been identified. Look up 'Eitan Marcus' in GoogleThis author has not been identified. Look up 'Gil Shurek' in Google

runs on WebDSL