A knowledge representation scheme for DFT

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.<
>