Editorial Reviews:
This 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)
Distributed by Thomson Gale
Customer Reviews:
There are no customer reviews for this product yet.
|
