ML Anthology

Constraint-Based Random Stimuli Generation for Hardware Verification

Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
AAAI 2006 pp. 1720-1727
/aaai/2006/naveh2006aaai-constraint/

Abstract

We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. The application has been developed for almost a decade, with huge payoffs. Research and development around this application is still thriving, as we continue to cope with the ever-increasing complexity of modern hardware systems and demanding business environments.

PDF AAAI Semantic Scholar

Cite

Text

Naveh et al. "Constraint-Based Random Stimuli Generation for Hardware Verification." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Naveh et al. "Constraint-Based Random Stimuli Generation for Hardware Verification." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/naveh2006aaai-constraint/)

BibTeX

@inproceedings{naveh2006aaai-constraint,
  title     = {{Constraint-Based Random Stimuli Generation for Hardware Verification}},
  author    = {Naveh, Yehuda and Rimon, Michal and Jaeger, Itai and Katz, Yoav and Vinov, Michael and Marcus, Eitan and Shurek, Gil},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {1720-1727},
  url       = {https://mlanthology.org/aaai/2006/naveh2006aaai-constraint/}
}