Constraint-Based Random Stimuli Generation for Hardware Verification

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.

• Type: Conference
• Year: 2006
• Where: AAAI
• Authors: Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
• Keywords: AAAI 2006, Artificial Intelligence Technologies, Intelligent Agents, Modern Hardware Systems, Random Stimuli Generation