A knowledge representation scheme for DFT
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 631-641
- https://doi.org/10.1109/test.1988.207846
Abstract
The knowledge-based approach to design for test (DFT) and test generation is discussed which depends heavily upon a storehouse of knowledge about DFT techniques and their application. The knowledge representation requirements of this knowledge-based approach are analyzed. An integrated knowledge representation scheme called KRAFT which addresses the representation requirements is presented in detail, and a scenario of use of such a DFT system is outlined. KRAFT is based on principles of types and functional and relational programming.Keywords
This publication has 4 references indexed in Scilit:
- An Automatic DFT System for the Silc Silicon CompilerIEEE Design & Test of Computers, 1986
- Unification in many-sorted algebras as a device for incremental semantic analysisPublished by Association for Computing Machinery (ACM) ,1986
- A Knowledge-Based System for Designing Testable VLSI ChipsIEEE Design & Test of Computers, 1985
- Retargetable Compiler Code GenerationACM Computing Surveys, 1982