姓 名
刘 歆
性 别
男
出生年月
1963.8.
党 派
民 族
汉
从事专业
电子信息
技术职务
副教授
最高学历
博士研究生
学 位
博士
毕业学校
华中科技大学
毕业时间
2005.3
现带研究生数
留学国别及学校
留学时间
取得学位
最高学历
工作单位
湖北工业大学电气与电子工程学院
通信地址
湖北工业大学电气与电子工程学院
邮政编码
430068
联系电话
13545561528
电子信箱
dolce_lx@sina.com
研究方向
VLSI电路的设计、验证、测试和逻辑综合
社会兼职
主
要
科
研
项
目
及
成
果
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