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

Tao Lv, Jianping Fan, Xiaowei Li, Ling-Yi Liu. Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification. J. Electronic Testing, 22(3):273-285, 2006. [doi]

Authors

Tao Lv

This author has not been identified. Look up 'Tao Lv' in Google

Jianping Fan

This author has not been identified. Look up 'Jianping Fan' in Google

Xiaowei Li

This author has not been identified. Look up 'Xiaowei Li' in Google

Ling-Yi Liu

This author has not been identified. Look up 'Ling-Yi Liu' in Google