Binding: Digital Format: HTML Label: Thomson Gale Manufacturer: Thomson Gale Number Of Pages: 31 Publication Date: September 22, 2007 Publisher: Thomson Gale Release Date: October 11, 2007 Studio: Thomson Gale
Editorial Review:
Product DescriptionThis digital document is an article from AI Magazine, published by Thomson Gale on September 22, 2007. The length of the article is 9219 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.
From the author: 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.
Citation Details Title: Constraint-based random stimuli generation for hardware verification. Author: Yehuda Naveh Publication:AI Magazine (Magazine/Journal) Date: September 22, 2007 Publisher: Thomson Gale Volume: 28 Issue: 3 Page: 13(18)
