English
管理与服务机构
湖南大学党委办公室、校长办公室 纪律检查委员会办公室(监察处) 党委组织部 党委党校 党委宣传部(资讯办公室) 党委统战部 党委学生工作部 人民武装部 机关党委 财院校区党工委 离退休处党委 校工会 共青团湖南大学委员会 发展规划办 教务处 现代工程训练中心 研究生院 学生工作处 招生与就业引导处 科学技术研究院 社会科学处 人力资源处 人才工程办公室 计划财务处 资产管理中心 国际合作交流处 监察处 审计处 实验室建设与设备管理处 后勤与房地产管理处 基本建设处 离退休处 保卫处(综合治理办公室) 法律事务办公室 档案与校史馆 财院校区管委会 校友工作办公室 校园信息化建设与管理办公室 图书馆 远程与继续金沙学院 湖南大学空军选培办 两型社会研究院 湖南大学超级计算中心 湖南大学互联网信息服务研究中心 资产经营有限企业 湖南大学出版社有限责任企业 湖南大学期刊社 后勤服务总企业 校医院 人口和计划生育办 普教中心
金沙与研究机构
机械与运载工程学院 电气与信息工程学院 材料科学与工程学院 信息科学与工程学院 建筑学院 环境科学与工程学院 土木工程学院 设计艺术学院 化学化工学院 生物学院 数学与计量经济学院 物理与微电子科学学院 经济与贸易学院 金融与统计学院 工商管理学院 法学院(政治与公共管理学院) 马克思主义学院 资讯传播与影视艺术学院 金沙科学研究院 体育学院 中国语言文学学院 岳麓书院 外国语学院 国家高效磨削工程技术研究中心 汽车车身先进设计制造国家重点实验室 化学生物传感与计量学国家重点实验室 经济管理研究中心 机器人学院
校园生活
当前位置: 金沙电子娱乐网址 >> 校园生活 >> 学术活动 >> 学院讲座 >> 正文
统计数据 / lectrue notice
  • 排序 学院 发文量
    1 机械与运载工程学院 118
    2 物理与微电子科学学院 103
    3 岳麓书院 101
    4 化学化工学院 97
    5 数学与计量经济学院 50
    6 材料科学与工程学院 45
    7 土木工程学院 42
    8 建筑学院 40
    9 经济与贸易学院 38
    10 电气与信息工程学院 33
  • 排序 学院 发文量
    11 信息科学与工程学院 30
    12 工商管理学院 28
    13 生物学院 18
    14 法学院 15
    15 外国语学院 15
    16 教务处 14
    17 资讯传播与影视艺术学院 8
    18 研究生院 7
    19 经济与管理研究中心 6
    20 马克思主义学院 5
    21 中国语言文学学院 4
刘莉亚博士:形式化验证在IC设计中的应用
学术地点 信息科学与工程学院 106教室 主讲人 超威半导体企业 刘莉亚 博士
讲座时间 2018年7月2日上午10:00

题目:   形式化验证在IC设计中的应用

主讲人: 刘莉亚 博士 超威半导体高级工程师

时间:7月2日上午10:00  

地点:信息科学与工程学院 106教室


个人概况:

   刘莉亚博士是超威半导体企业多伦多分部的高级工程师,也是PCIe设计团队形式化验证领域的领头人。她的主要研究兴趣包括形式化验证、机器学习、马可夫模型、超大规模集成电路设计验证自动化、微处理器和片上系统的验证等。她曾经发表过多篇国际会议论文和学术期刊论文,是形式化验证核心会议Formal Methods in Computer-Aided Design Conference(FMCAD 2011)、Third NASA Formal Methods Symposium(NFM 2012)和Journal of Computer Science and Technology(JCST 2012)等的审稿人之一。她于2013年在加拿大魁北克省蒙特利尔获得Concordia University电子工程学科博士学位。


摘要:

随着现代专用芯片的规模越来越大,验证芯片实现的功能是否符合设计需求将面临着巨大的挑战。仿真技术是基于计算机最常用的传统验证技术。然而,仿真方法往往因为不能穷尽所有可能的情形,导致依赖这种技术验证通过的芯片很难保证其功能的正确性。因此,应用这样的芯片在敏感而安全性要求极高的系统上,会给系统带来潜在的毁灭性危险。另一方面,由于仿真环境复杂以及芯片本身规模巨大,超长的仿真时间也难以满足日趋缩短的产品上市要求,令人难以接受。形式化验证是用数学的方法证明产品(电路或算法)实现的正确性或者不正确性。这种方法能够在一定程度上穷尽所有可能输入,捕捉到仿真方法难以发现的小概率差错以弥补仿真验证方法的不足。现代EDA产商提供了自动提取产品属性的形式化验证工具,可以全面地分析产品测试覆盖率以及测试平台的正确性和完整性。作为仿真技术的强大后盾,形式化验证工具充分应用在芯片的设计周期中,将大大提高产品的合格率,缩短设计生产周期、加速产品上市过程。在这次的演讲中,刘莉亚将首先先容形式化方法的概念;然后讲述应用在芯片设计过程中的形式化验证工具以及应用该方法在芯片设计过程中所能获得的效果;最后,展示形式化验证在现代工业领域中潜在的机遇与面临的挑战。



Title: Formal Verification Applied in IC Design Process


Bio: Dr. Liya Liu is a senior engineer, the leader who employs formal verification on PCIe IP design team in Advanced Micro Device (AMD), Markham, Toronto, Ontario, Canada. Her current research interests are formal verification, machine learning, Markov model, VLSI design verification automation, microprocessor and system-on-chip (SOC) verification. She published various conference and Journal papers and was invited to be the external reviewer of several conferences in formal verification domain, such as, Formal Methods in Computer-Aided Design Conference(FMCAD 2011), Third NASA Formal Methods Symposium(NFM 2012), Journal of Computer Science and Technology(JCST

2012). She received her Ph.D. in the department of Electrical and Computer Engineering at Concordia University, Montreal, Quebec, Canada in 2013.


Abstract:

Nowadays, the increasing size of ASIC has brought about diverse challenges in verifying that the implementation matches with the requirements of products. Traditionally, simulation and emulation are the most commonly used computer-based analysis techniques. However, due to the fact that the complicated ICs have incredible input combinations, simulation and emulation can hardly provide exhaustive scenarios to prove the correctness of product properties. Hence, simulation poses serious threat in ICs applied in safety critical systems. On the other hand, the unbounded running time introduced by complex scenarios and big size of products becomes generally unacceptable comparing to the increasingly shorter time-to-market and high productivity increase requirements. Formal verification is such a methodology that proves the correctness of product implementation compared with its specification using mathematical reasoning. Thus, it is capable to exhaust all corner cases to capture bugs on a reasonable level, as a complementary of simulation and emulation technologies. Modern formal tools provided by various EDA companies facilitate auto-generated properties to formally check product features and supply unreachability analysis for evaluating the quality of ICs. Moreover, these tools offer formal test bench analysis to avoid bug(s) hidden in test environment. Utilizing these rich EDA resources and employing formal verification in IC design process as a complement to simulation, it is feasible to provide high productivity in a shorter period. In this talk, Dr. Liu introduces the concept of formal methods at beginning, then, presents formal tools and their applications in IC design process. The results indicate the benefits of this methodology. Based on this background, Dr. Liu also presents various potential application areas in modern industry as well as the challenges on the road of exploiting formal verification.


上一条:姚利民教授:谈提高学位论文质量
下一条:王广博士:Phase Controlled Growth and Ambipolar Transistors of MoTe2

湖大官网
湖大微信
湖大微博
XML 地图 | Sitemap 地图