Constraint-Based Random Stimuli Generation for Hardware Verification

Authors

  • Yehuda Naveh
  • Michal Rimon
  • Itai Jaeger
  • Yoav Katz
  • Michael Vinov
  • Eitan s Marcu
  • Gil Shurek

DOI:

https://doi.org/10.1609/aimag.v28i3.2052

Abstract

We report on random stimuli generation for hardware verification at IBM as a major applica-tion of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade we have developed several related tools, with huge payoffs. Research and development around this application are still thriving, as we continue to cope with the ever-increasing complexity of modern hardware systems and demanding business environments.

Downloads

Published

2007-09-15

How to Cite

Naveh, Y., Rimon, M., Jaeger, I., Katz, Y., Vinov, M., Marcu, E. s, & Shurek, G. (2007). Constraint-Based Random Stimuli Generation for Hardware Verification. AI Magazine, 28(3), 13. https://doi.org/10.1609/aimag.v28i3.2052

Issue

Section

Articles