TIES: a Testability Increase Expert System for VLSI Design