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

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

扫码查看
目前验证的方法和工具种类繁多,对动态验证、静态验证和硬件加速仿真三种典型的芯片验证方法进行综述,在验证设计质量、验证时间和验证成本三个方面说明各自的特点.最后提出了芯片验证的展望.对于芯片验证方法的研究,以期对后续研究人员了解芯片验证方法,在今后的芯片验证设计过程中结合设计特点,选择正确的验证方法有所帮助.
Overview of Research on Verification Methods for Digital Circuit Chips
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.

dynamic verificationstatic verificationhardware accelerated simulation

曹庆年、姚翌、孟开元

展开 >

西安石油大学计算机学院,陕西 西安 700065

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

2024

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

工业控制计算机

影响因子:0.258
ISSN:1001-182X
年,卷(期):2024.37(2)
  • 15