![]() |
| 2006 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Jianping Fan | [1] |
| 2 | Xiaowei Li | [1] |
| 3 | Tao Lv | [1] |