Embedded SOC F-IP diagnosis by using algebraic logical method
Vladimir I. Hahanov, Volodymyr I. Obrizan, Eugenia I. Litvinova, Ka Lok Man · International Conference on Circuits · 2008
SoC Functional Intellectual Property Infrastructure that differ by minimal set of the embedded diagnosis processes in real time and enables to realize such services like functional testing on basis of generable input patterns and analysis of output reactions; SoC diagnosis with given resolution of fault location; fault simulation to carry out the first two procedures on basis of the fault detection table are offered. Structural-algebraic method of embedded fault diagnosis of SoC functional blocks is proposed as well. The method uses preliminary analysis of the fault detection table to reduction its size and subsequent DNF construction computation, which forms all solutions of SoC functional diagnosis in real time.