Malik, Viney Test-bench reuse for coverage closure in highly configurable protocols / Malik, Viney Dewey Class. No.: 005.14 M11T