|
l
国家重点基础研究发展计划（973）项目：“极限制造中的混合约束数字建模与产品缺陷诊断机理”（项目编号：2003CB716207）。
l
国家自然科学基金“十五”重大项目：“先进电子制造中的重要科学技术问题研究”（项目编号：50390060）。
l
A SAT Method for Improving Automatic Test Pattern Generation,
The 8th International Conference
on Electronic Measurement & Instruments, ICEMI'2007.
l
用二叉决策图学习加速测试模式生成，测试技术学报，2007.
l
基于布尔可满足性的逻辑电路等价性验证方法, 微电子学与计算机，2007.
l
用布尔可满足性验证逻辑电路的等价性，湖北工业大学学报，2007.
l
Liu Xin and Xiong Youlun, Improving Test Pattern
Generation Using BDD Learning, ISTAI'2006.
l
自动测试模式生成中的BDD学习方法，电子测量与仪器学报，2006.
l
Liu Xin and Xiong Youlun, Enhancing SAT-based
Test Pattern Generation， Journal of Electronic Science and
Technology of China, 2005.(INSPEC)
l
数字电子技术（高校教材），华中科技大学出版社，2007.
|