Tao Lv

17 papers A 3Misc 2Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2016 J jnl
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li, Sandip Kundu
2016 J jnl
Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yanhong Zhou, Tiancheng Wang, Huawei Li, Tao Lv, Xiaowei Li
2014 A conf
Functional test generation guided by steady-state probabilities of abstract design.
DATE
Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li
2013 — conf
Path Constraint Solving Based Test Generation for Hard-to-Reach States.
Asian Test Symposium
Yanhong Zhou, Tiancheng Wang, Tao Lv, Huawei Li, Xiaowei Li
2013 J jnl
Test Path Selection for Capturing Delay Failures Under Statistical Timing Model.
IEEE Trans. Very Large Scale Integr. Syst.
Zijian He, Tao Lv, Huawei Li, Xiaowei Li
2010 — conf
An Efficient Algorithm for Finding a Universal Set of Testable Long Paths.
Asian Test Symposium
Zijian He, Tao Lv, Huawei Li, Xiaowei Li
2010 A conf
An abstraction-guided simulation approach using Markov models for microprocessor verification.
DATE
Tao Zhang, Tao Lv, Xiaowei Li
2010 Misc conf
Fast path selection for testing of small delay defects considering path correlations.
VTS
Zijian He, Tao Lv, Huawei Li, Xiaowei Li
2010 — conf
Graph partition based path selection for testing of small delay defects.
ASP-DAC
Zijian He, Tao Lv, Huawei Li, Xiaowei Li
2010 A conf
On generation of a universal path candidate set containing testable long paths.
ITC
Zijian He, Tao Lv, Huawei Li, Xiaowei Li
2009 Misc conf
Automatic Selection of Internal Observation Signals for Design Verification.
VTS
Tao Lv, Huawei Li, Xiaowei Li
2007 — conf
Bug analysis and corresponding error models in real designs.
HLDVT
Tao Lv, Tong Xu, Yang Zhao, Huawei Li, Xiaowei Li
2006 — conf
An Observability Branch Coverage Metric Based on Dynamic Factored Use-Define Chains.
ATS
Tao Lv, Ling-Yi Liu, Yang Zhao, Huawei Li, Xiaowei Li
2006 J jnl
Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.
J. Electron. Test.
Tao Lv, Jianping Fan, Xiaowei Li, Ling-Yi Liu
2005 J jnl
An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage.
J. Comput. Sci. Technol.
Wei Lu, Xiu-Tao Yang, Tao Lv, Xiaowei Li
2004 — conf
Pair Balance-Based Test Scheduling for SOCs.
Asian Test Symposium
Yu Hu, Yinhe Han, Huawei Li, Tao Lv, Xiaowei Li
2003 — conf
An Efficient Observability Evaluation Algorithm Based on Factored Use-Def Chains.
Asian Test Symposium
Tao Lv, Jianping Fan, Xiaowei Li