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.

Once the rules are formulated, This knowledge base is developed and maintained how does the stimuli generator ensure by knowledge engineers who are verification that all user-defined and validity rules, and as experts. Test templates are written by many expert knowledge rules as possible, are verification engineers who implement the test satisfied? How can the generator produce many significantly different tests from the plan. The generic engine, developed by software same test template? Finally, how is all this done engineers, accepts the architecture model, in an efficient manner as to not obstruct the expert knowledge, and test template and generates verification process?