Sequentially Self Checking Systems
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Definition and design of strongly language disjoint checkers
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 che
Publicado em: 2011