ALADIN: a multilevel testability analyzer for VLSI system design