@article{Naveh_Rimon_Jaeger_Katz_Vinov_Marcu_Shurek_2007, title={Constraint-Based Random Stimuli Generation for Hardware Verification}, volume={28}, url={https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2052}, DOI={10.1609/aimag.v28i3.2052}, abstractNote={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. }, number={3}, journal={AI Magazine}, author={Naveh, Yehuda and Rimon, Michal and Jaeger, Itai and Katz, Yoav and Vinov, Michael and Marcu, Eitan s and Shurek, Gil}, year={2007}, month={Sep.}, pages={13} }