Efficient implementations of self-checking multiply and divide arrays

In this paper we present efficient self checking implementations for multiply and divide arrays. These implementations are strongly fault secure or totally self-checking for a comprehensive fault model which includes stuck-at, stuck-on and stuck-open faults. They are compatible with data paths checked by the parity code (i.e. no code translators are needed), so that the self checking implementation of the whole data path is simplified.<>