This paper presents an implemented system for modifying digital circuit designs to enhance testability. The key contributions of the work are: (1) setting design for testability in the context of test generation, (2) using failures during test generation to focus on testability problems, (3) indexing from these failures to a set of suggested circuit modifications. This approach does not add testability features to the portions of the circuit that a test generator can already handle, therefore, it promises to reduce the area and performance overhead necessary to achieve testability. While the system currently has only a small body of domain knowledge, it has demonstrated its ability to integrate different DFT techniques and to introduce only sharply focused modifications on a textbook microprocessor, an ability that is missing in previous DFT systems.
[1]
Paul W. Horstmann,et al.
Design for Testability Using Logic Programming
,
1983,
International Test Conference.
[2]
Magdy Abadir,et al.
A Knowledge-Based System for Designing Testable VLSI Chips
,
1985,
IEEE Design & Test of Computers.
[3]
Peng Wu,et al.
Test Generation Guided Design for Testability
,
1988
.
[4]
Randall Davis,et al.
Reasoning from First Principles in Electronic Troubleshooting
,
1983,
Int. J. Man Mach. Stud..
[5]
Edward McCluskey,et al.
Built-In Self-Test Techniques
,
1985,
IEEE Design & Test of Computers.
[6]
James B. Angell,et al.
Enhancing Testability of Large-Scale Integrated Circuits via Test Points and Additional Logic
,
1973,
IEEE Transactions on Computers.
[7]
簡聰富,et al.
物件導向軟體之架構(Object-Oriented Software Construction)探討
,
1989
.