Syndrome- and autocorrelation-testable internally unate combinational networks

It is known that all unate lines of an internally unate realisation of a boolean function are syndrome-testable. For other lines in a circuit there have been a number of suggestions for hardware modifications to ensure that a circuit is syndrome-testable. The letter proposes, as an alternative to hardware modification, augmenting the syndrome testing with auto-correlation testing.