Nonscan design-for-testability techniques using RT-level design information | IEEE Journals & Magazine | IEEE Xplore