Definition and design of strongly language disjoint checkers
AUTOR(ES)
Jansch, Ingrid Eleonora Schreiber
DATA DE PUBLICAÇÃO
2011
RESUMO
This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with which a functional system may achieve the TSC goal. Self-checking sequential systems are first addressed, then formal definitions of SLD checkers are given. The next point is the design of SLD checkers based on regular combinational self-checking components.
ASSUNTO(S)
circuitos : auto-teste checkers concurrent error detection self-checking design sequentially self-checking systems strongly language disjoint checkers vlsi design