逻辑值冗余的一种实现方案——三中取二值自校验逻辑系统

逻辑值冗余是指用n值逻辑电路构成m值逻辑系统,其中n>m。此时有(n-m)个逻辑值是冗余的;但它们可以被用来产生自校验、纠错等功能,以提高系统的可测试性及可靠性。本文提出逻辑值冗余的一种实现方案——三中取二值自校验逻辑系统。这种系统是逻辑值冗余在n=3,m=2时的特例。本文内容包括三中取二值逻辑算子及自校验定义、三中取二值组合系统及三中取二值同步时序系统等。