ALADIN: a multilevel testability analyzer for VLSI system design | IEEE Journals & Magazine | IEEE Xplore