A testability measure to improve algebraic test generation

The paper deals with testability measures of digital systems. Specifically, a new algorithm to evaluate testability measures for circuits described in terms of Boolean equations is presented, and its application to speed up (algebraic) test generation for sequential networks is discussed.