E流网讯（通讯员 刘存利）应微电子学院的邀请，2008年11月6日下午在科技楼大报告厅，由英飞凌科技公司专家Tim Blackmore博士来我校做了题为《数字IP的功能验证》的学术报告，近两百名学生和老师参加了报告会。

　　Tim Blackmore博士介绍了当前各种软件的数字IP的功能验证的验证方法，深入讲述了验证技术的发展水平，包括在嵌入式系统，汽车类关键安全技术应用等，其高性能主要体现在安全方面。报告会后Tim Blackmore 博士与在场的听众进行了有奖互动问答，激发同学们踊跃提问。

　　Tim Blackmore博士于1994年获得数学博士学位，著有《泛函分析和半群理论》专著。在英国Bristol大学的电气与电子工程学院进行了为期5年的博士后研究。他在核心期刊IEEE Transactions on Information Theory和IEEE Proceeding of the International Symposium on information Theory会议上发表了10余篇论文。（完）