An Observability Branch Coverage Metric Based on Dynamic Factored Use-Define Chains. - Tao Lv 001; Ling-Yi Liu; Yang Zhao; Huawei Li 001; Xiaowei Li 001 (ATS, 2006)

Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification. - Tao Lv 001; Jianping Fan 002; Xiaowei Li 001; Ling-Yi Liu (J. Electron. Test., 2006)