Knowledge representation automaton for functional test schedules (KRAFTS)
S.M. Lea, Nicholas M. Brown, T. Katz · 1988
CAD-generated component and interconnection listings are utilised to recreate a circuit design in the form of an associative network. This is stored within an expert systems' database and enables a powerful search algorithm, under the guidance of testability formulation rules, to explore the circuit. The algorithm interacts with these device models and register transfer logic based device operation rules to identify valid test paths through a circuit and thus define functional tests. Once identified, the tests are ordered (using rule-based and heuristic techniques) in terms of increasing test complexity to aid diagnostics. Finally, the test paths are passed on to a low-level test timing generator to produce the actual test vectors required to test the board.