1. Constraint-based random stimuli generation for hardware verification
- Author
-
Naveh, Yehuda, Rimon, Michal, Jaeger, Itai, Katz, Yoav, Vinov, Michael, Marcus, Eitan, and Shurek, Gil
- Subjects
Artificial intelligence -- Usage -- Methods ,Computers -- Materials -- Testing -- Methods -- Usage ,Electronic design automation -- Standards -- Methods -- Usage ,Business ,Electronic design automation ,Artificial intelligence ,Testing ,Standards ,Usage ,Materials ,Methods - Abstract
We report on random stimuli generation for hardware verification at IBM as a major application 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., IBM estimates that it has saved more than $100 million during the last decade in direct development costs and reduced time to market by using artificial intelligence (AI) technology for [...]
- Published
- 2007