Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.

Published in: J. Electron. Test. (2006)

Keyphrases