基于E语言和C参考模型的IP功能验证方案

提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾。使用这种方案可以有效地提高功能验证效率和质量,缩短设计周期,降低设计成本。

基于SystemC的功能模型的建模和验证技术研究

近年来,FPGA(Field Programmable Gate Array)设计验证技术成了当前的研究热点,设计的可靠性影响着产品的可靠性,因此验证工作变得尤为重要。但是随着产品更新换代速度的加快,传统的验证方法的停滞不前使得验证面临着严峻的挑战,因此鉴于现在验证的瓶颈,提出一种高效的验证方法,即在DUT(Design Under Test)实现之前先进行功能模型的编写,经过验证后重用做参考模型,能有效解决传统验证所面临的问题,提高了验证效率和准确率。

一种可重用RISCV验证平台的设计与实现

随着全球芯片技术的飞速发展,处理器的性能逐渐成为了制约各公司前进的短板。而RISCV开源处理器是一种新的精简指令集架构,与其他处理器最大的不同之处在于:它采用模块化的指令集,更易于扩展和组装。然而,目前可重用RISCV的验证平台还不成熟,这可能会造成验证不够充分且效率低等问题。为此,文中设计一种基于通用验证方法学(UVM)的可重用RISCV验证平台。该平台使用UVM搭建一整套RISCV验证环境,包括随机汇编指令自动生成平台、GNU编译器套件(GCC)对汇编指令的编译、C++参考模型的运行、RISCV处理器的运行和结果监测、Python脚本对最终结果的比较以及代码和功能覆盖率的收集等。同时,利用VCS和Verdi等EDA工具对RISCV处理器进行仿真功能测试。结果表明,所搭建的验证环境能够快速、有效地验证RISCV设计的正确性,且可重用程度高,可以更加全面快速地完成RISCV处理器的验证工作。