In this correspondence, we present close form check predicting equatio
ns to derive Berger checks for array multipliers and array divideers,
respectively. Braun's array multipliers and Guild's array dividers are
examined. Example check circuits are also presented.