Functional Test-Sequence Grading at Register-Transfer Level | IEEE Journals & Magazine | IEEE Xplore