Publication (in M.S study)
- Yang Zhao, Ling-yi Liu, Tao LV, Hua-wei Li, Xiao-wei Li, A Novel Circuit-Oriented SAT Engine and Its Application to Unbounded Model Checking, (poster) European Test Symposium, 2007
- Tao Lv, Ling-yi Liu, Yang Zhao, Hua-wei Li, Xiao-wei Li, An Observability Branch Coverage Metric Based on Dynamic Factored Use-Define Chains, Asian Test Symposium, 2006
- Tao Lv, Tong Xu, Yang Zhao, Hua-wei Li, Xiao-wei Li, Bug Analysis and Corresponding Error Models in Real Designs, IEEE International High Level Design Validation and Test Workshop, 2007
In Chinese:
- Yang Zhao, Tao Lv, Hua-wei Li, Xiao-wei Li, A Novel Circuit SAT Solver in Unbounded Model Checking, Chinese Journal of Computer, Vol.32, No.6, 2009, page 1110-1118
- Yang Zhao, Tao Lv, Hua-wei Li, Xiao-wei Li, Observerability Analysis of HDL Design Based on a Novel CLP Model, Journal of Computer-Aided Design & Computer Graphics, Vol.21, No.5, page 688-699
- Yang Zhao, Ling-yi Liu, Xiao-wei Li, Preimage Computation in Gate Level Circuit Based on the BDD Heuristic, Chinese Test Conference, 2006
- Ling-yi Liu, Yang Zhao, Xiao-wei Li, Hua-wei Li, Combining ATPG and SAT Preimage Computation in Unbounded Model Checking, Journal of Computer-Aided Design and Computer Graphics