Abstract
A few simple Expert-System techniques have been invaluable in developing a new test program generator for design verification of hardware processors. The new generator uses a formal declarative model of the processor architecture; it allows generation of test programs for a variety of processors without duplication of effort.
| Original language | English |
|---|---|
| Publication status | Published - Aug 1994 |
| Event | Proceedings of the American Association of AI's 6th Innovative Applications of Artificial Intelligence Conference (IAAI) - Duration: 1 Aug 1994 → … |
Conference
| Conference | Proceedings of the American Association of AI's 6th Innovative Applications of Artificial Intelligence Conference (IAAI) |
|---|---|
| Period | 1/08/94 → … |