工业控制计算机2024,Vol.37Issue(2) :53-55,83.

数字电路芯片验证方法研究综述

Overview of Research on Verification Methods for Digital Circuit Chips

曹庆年 姚翌 孟开元
工业控制计算机2024,Vol.37Issue(2) :53-55,83.

数字电路芯片验证方法研究综述

Overview of Research on Verification Methods for Digital Circuit Chips

曹庆年 1姚翌 1孟开元1
扫码查看

作者信息

  • 1. 西安石油大学计算机学院,陕西 西安 700065
  • 折叠

摘要

目前验证的方法和工具种类繁多,对动态验证、静态验证和硬件加速仿真三种典型的芯片验证方法进行综述,在验证设计质量、验证时间和验证成本三个方面说明各自的特点.最后提出了芯片验证的展望.对于芯片验证方法的研究,以期对后续研究人员了解芯片验证方法,在今后的芯片验证设计过程中结合设计特点,选择正确的验证方法有所帮助.

Abstract

At present,there are many kinds of verification methods and tools.This paper summarizes three typical chip verification methods:dynamic verification,static verification and hardware acceleration simulation,and explains their charac-teristics in three aspects:verification design quality,verification time and verification cost.Finally,the outlook for chip verifi-cation is proposed.The research on chip verification methods in this article is expected to help future researchers under-stand chip verification methods and select the correct verification method based on design characteristics in the future chip verification design process.

关键词

动态验证/静态验证/硬件加速仿真

Key words

dynamic verification/static verification/hardware accelerated simulation

引用本文复制引用

出版年

2024
工业控制计算机
中国计算机学会工业控制计算机专业委员会 江苏省计算技术研究所有限责任公司

工业控制计算机

影响因子:0.258
ISSN:1001-182X
参考文献量15
段落导航相关论文