Self-checking designs will gain increasing interest in industrial appl
ications if they satisfy the following requirements: high fault covera
ge, reduced hardware cost and reduced design effort. This work is aime
d to reach these requirements for the design of self-checking shifters
and is part of a broader project concerning the design of self-checki
ng data paths.