Design of self-checking digital networks using coding techniques