I.Mozetic, F.Novak, M.Santo-Zarnik, A.Biasizzo.
Diagnosing analog circuits designed-for-testability by using CLP(R).
Proc. 4th Int'l Workshop on Principles of Diagnosis,
pp.105-120, Aberystwyth, UK, 1993.
Recently, a design-for-test (DFT) methodology for active analog filters was
proposed with primary goal in increased controllability and observability. We
operationalize and extend the DFT methodology by using CLP(R) to model and
diagnose analog circuits. CLP(R) is a logic programming language with the
capability to solve systems of linear equations and inequalities. It is
well suited to model parameter tolerances and to diagnose soft faults,
i.e., deviations from nominal values. The diagnostic algorithm uses different
DFT test modes and voltage measurements at different frequences to compute
a set of suspected components. Ranking of suspected components is based on
a measure of (normalized) standard deviations from predicted mean values of
component parameters. Presented case studies on real circuit show encouraging
results in isolation of soft faults for a given low pass biquad filter.