TDRC-a symbolic simulation based design for testability rules checker.

Prab Varma

Browse the full ITC paper archive.