TIES: A testability increase expert system for VLSI design