A BIST scheme for RTL circuits based on symbolic testability analysis | IEEE Journals & Magazine | IEEE Xplore