A practical rule-based testability rule checker for VLSI testing adopting a tunable rule-base shell suited for rule checking is described. The checking process is divided into symbolic simulation and violation detection. The testability rules applied in the violation detection and the circuit primitive operation rules applied in the symbolic simulator are treated as rule bases. Circuit primitives and symbolic signal values described in the rules can also be predefined by testability rule engineers. >