A Design-for-Verification Technique for Functional Pattern Reduction.

Published in: IEEE Des. Test Comput. (2003)

Keyphrases