Redundancy revisited
Jacob Savir · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998
This paper shows that when it comes to complementary metal-oxide-semiconductor (CMOS) designs undetectability does not necessarily imply redundancy. The definition of redundancy is extended to account for the special behavior encountered in CMOS designs. The accuracy of the new redundancy definition has been tested on several CMOS chips and has been found to be correct.