Title :
A tool for computation of output code spaces in complex self-checking systems
Author :
Boudjit, M. ; Nicolaidis, M.
Author_Institution :
Reliable integrated Syst. Group, IMAG/TIM3, Grenoble, France
Abstract :
In complex self-checking systems several blocks (i.e. functional blocks and checkers) are embedded. In order to check the self-checking properties of such blocks one needs to know the set of vectors they receive from the blocks feeding their inputs (i.e. the code word output spaces of the source blocks). In a complex system the computation of the output spaces by means of exhaustive simulation of the system is intractable. The paper presents a tool which performs this computation with low CPU time
Keywords :
codes; design for testability; logic arrays; logic testing; many-valued logics; PLA; code word output spaces; complex self-checking systems; computation tool; functional blocks; multilevel structure; output code spaces; source blocks; Adders; Central Processing Unit; Circuit faults; Circuit simulation; Computational modeling; Embedded computing; Explosions; Fault detection; Programmable logic arrays; Protection;
Conference_Titel :
Fault Tolerant Systems, 1991. Proceedings., Pacific Rim International Symposium on
Conference_Location :
Kawasaki
Print_ISBN :
0-8186-2275-X
DOI :
10.1109/{RFTS.1991.212955
