智能化芯片设计程序测试研究综述
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

陈俊洁,E-mail:junjiechen@tju.edu.cn

中图分类号:

TP311

基金项目:

国家自然科学基金(62322208);华为项目


Survey of Intelligent Chip Design Program Testing
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.本文调研了88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化三个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望了未来的发展方向和挑战.

    Abstract:

    In the context of today's intelligent era, chips, as the core components of smart electronic devices, play a crucial role in various fields such as Artificial Intelligence, the Internet of Things, and 5G communication. Ensuring the correctness, security, and reliability of chips is of utmost importance. In the chip development process, developers first use hardware description languages to implement the chip design in software form (i.e., chip design programs), followed by physical design and finally tape-out (i.e., production and manufacturing). As the foundation of chip design and manufacturing, the quality of the chip design program directly affects the quality of the chip. Therefore, testing the chip design program is of significant research value. Early chip design program testing methods primarily relied on manually designed test cases by developers to test the chip design program, which often required substantial manual effort and time. With the increasing complexity of chip design programs, various simulation-based automated testing methods have been proposed, improving the efficiency and effectiveness of chip design program testing. In recent years, more and more researchers have been dedicated to applying intelligent methods such as machine learning, deep learning, and large language models (LLMs) to the field of chip design program testing. This paper surveys 88 academic papers related to intelligent testing of chip design programs, summarizing and categorizing the existing achievements from three perspectives: test input generation, test oracle construction, and test execution optimization. It focuses on the evolution of chip design program testing methods from the machine learning stage to the deep learning stage and then to the large language model stage, exploring the potential of different stages' methods in improving testing efficiency and coverage, as well as reducing testing costs. Additionally, it introduces research datasets and tools in the field of chip design program testing and envisions future development directions and challenges.

    参考文献
    相似文献
    引证文献
引用本文

李晓鹏,闫明,樊兴宇,唐振韬,开昰雄,郝建业,袁明轩,陈俊洁.智能化芯片设计程序测试研究综述.软件学报,2025,36(6):0

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2024-08-26
  • 最后修改日期:2024-10-14
  • 录用日期:
  • 在线发布日期: 2024-12-10
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号