[干货]用ModelSim搭建可看代码覆盖率的千兆以太网控制器的仿真环境!

原创 网络交换FPGA 2021-09-30 10:00
对于非微电子专业做FPGA的同学们来讲,常常把仿真验证环境的搭建给忽略了,为了追求所谓的“高效”,自己写的代码根本就没怎么仿真验证过,就急急忙忙的上板调试。有的同学说也做过仿真啊,后来一看发现竟然是用Vivado等FPGA综合工具自带的仿真器来简单的仿真了一下,其实这些都还仅仅是停留在模块级的个别功能点仿真。一个通信的FPGA样机或者是一款ASIC芯片的仿真验证,是需要仔细把所有的功能点细分之后串联起来做出来一个兼顾软硬件及各种应用场景的全流程的仿真验证。类似的有各种成熟的方法,如UVM等,但对于初学者而言,其实用ModelSim完全可以搭建出来一个稍微像样的可回归的能够看覆盖率的仿真验证环境的。
近期发现很多同学不重视仿真验证环境搭建,认为没必要搭建仿真验证环境,结果没有充分验证的代码上板后发现BUG,费了长达一两周的时间不断的添加追踪信号看波形终于定位到了问题,结果一看是一个逻辑错误,用仿真的方法完全可以复现,如果有仿真环境,发现问题定位问题并解决问题可能就是一个小时就可以搞定的事情,结果因为没有仿真验证环境白白的浪费了大量的时间。
本文介绍的仿真验证环境搭建方法,没有涉及Vivado相关IP等相关的处理,如果想了解可参看文末链接,也可以参看本公众号之前的文章:《网络交换FPGA-20200716》超详细往期回顾,还不赶快阅读?,文中有“工具使用调试技巧及时序约束”专题相关的系列文章。
一、把所有代码分为设计代码文件夹hdl和仿真文件夹sim
在hdl文件夹下是对应所有的设计代码,本文中选用opencores网站中十百千自适应的MAC控制器作为设计代码。

sim文件夹下存放仿真环境搭建的各种文件。

testbench下存放最顶层的testbench.v;bfm文件夹下存放以太网phy的简单模型产生以太网数据包的激励,时钟复位产生模块及数据对比模块;filelist文件夹下存放验证环境中所有的.v文件列表文件,为了看覆盖率,一般要把设计代码文件列表和仿真代码文件列表分开成两个不同的文件(windows下自动生成verilog列表文件的源码本公众号之前也分享过,详见如何快速生成Verilog代码文件列表?(内附开源C代码));in_out下就存放每个不同的测试例对应的激励数据包和经过MAC核控制器后出去的数据包;run目录下存放运行的批处理文件和sim的tcl脚本文件;testcase下存在各种不同的测试例。

二、编写脚本

脚本分为run.bat批处理脚本和sim.do两个文件,都在上述run文件夹下,run.bat如下:

其中vsim -c 一行中的-c用来表示是否启动Modelsim的图形界面,有-c就表示启动图形界面,没有就表示不启动。

sim.do就比较简单了,就是完成建ModelSim工程及仿真等动作:

需要注意的一点是,上面把仿真代码文件列表和设计代码文件列表分开后,就可以单独的vlog,同时给设计代码添加上看覆盖率的命令。

本文后续内容是某天所做的更改记录,大家可以通过这些记录便能看出搭建改环境的一些较为核心的内容。

1、在data_cmp.v模块增加输入信号testcase_name,将测试例名字引入数据包比较模块,利用testcase_name信号,可以每次测试不同测试例的时候在数据记录文件夹in_out里面可以产生不同的数据记录log文件。

具体截图如下:

上图中增加了INITIAL_DATA_CMPtask,可以每次在不同的测试例开头对整个芯片进行复位的时候启动该task,即可建立对应该testcase的记录文件。

目前存在的问题是最开始复位的时候,testcase_name还未有实际的测试例名字,导致会产生两个没有用的文件。如下图:

2、在data_cmp.v中增加名为OVER的task,在每个测试例运行结束后可以关闭掉为该测试例新建的文件指针。

OVER任务具体实现如下:

在不同的testcase末尾调用该task:

3、手动将文件列表文件rtl.f拆分成设计代码文件列表hdl_filelist.v和仿真代码文件列表sim_filelist.v。

并修改运行脚本,使得运行结束后可以看到设计代码文件的覆盖率。

修改批处理文件,使用modelsim图形界面的方式

发现第二个测试例中间的数据包计数未从0开始,修改代码

在所有testcase中增加一行代码,让data_cnt和i都从0开始。

修改后就能每个testcase都从0开始运行:

此时在modelsim图形界面下也能看到设计代码对应的覆盖率情况:

双击某个文件就能打开对应代码是否被验证到的情况:

目前只是验证了百兆模式下100个随机帧和千兆模式下100个随机帧,大家可以在上面的基础上不断的去增加测试例。后续内容就需要大家不断的增加测试例来完成对所有代码的全覆盖仿真,并且在此过程中也能够对MAC核的各种功能更加的熟悉。

感兴趣的同学可以留言邮箱地址索要完整仿真验证环境工程。

THE  END

最后附上本公众号之前写的有关仿真验证环境搭建的系列文章:

> 工具使用调试技巧及时序约束
Vivado、Modelsim 、VCS+Verdi、NC+Simvision、脚本使用技巧、时序约束等实例分析。
  1. 用QuartusⅡ和ModelSim做后仿真(时序仿真)
  2. 发现了Vivado2016.2版本的一 个BUG!
  3. Vivado2016.2的又一个BUG!
  4. Vivado进行FPGA调试“犯罪现场",在仿真环境中重现方法
  5. 干货:Vivado直接修改RAM初始化文件, 避免重新综合、实现的方法
  6. 如何用ModelSim独立仿真ISE的仿真工程
  7. 用Modelsim独立仿真带Vivado IP核的仿真工程
  8. FPGA中的时序约束——从原理到实例
  9. Vivado设计锁定与增量编译(附工程)
  10. 【干货】推荐一款FPGA仿真调试鸟枪换炮的工具!
  11. 摆脱Vivado单独建仿真环境的终极解决方案
  12. NCVerilog+SimVision+Vivado仿真环境搭建
  13. Linux系统下VCS2016和Verdi_2016的安装教程
  14. 【重磅干货】手把手教你动态编辑Xilinx FPGA内LUT内容
  15. 【干货】FPGA设计中大位宽、高时钟频率时序问题调试经验总结
  16. 【源码】Vivado调用Questa Sim仿真小技巧
  17. 【新手入门】Vivado工程升级及板级信号调试
  18. 【新手入门】ISE工程升级到Vivado及板级信号调试技术
  19. 【实测】网络中可以传小于64字节的数据包吗?
  20. 【超实用】一分钟学会如何用最小存储空间保存Vivado工程!
  21. 【干货】八小时超长视频教你掌握FPGA时序约束!
  22. 【干货】 三小时独家视频详解玩转Vivado IP核秘诀!
  23. 【源码实战】 你要的时序约束实例演示视频来了!


责任编辑:潘伟涛


网络交换FPGA 秉承“工匠”精神,专注网络与交换领域FPGA开发与芯片实现,记录、分享与交流技术上的点点滴滴,与大家共同进步成长。
评论
  • 遇到部分串口工具不支持1500000波特率,这时候就需要进行修改,本文以触觉智能RK3562开发板修改系统波特率为115200为例,介绍瑞芯微方案主板Linux修改系统串口波特率教程。温馨提示:瑞芯微方案主板/开发板串口波特率只支持115200或1500000。修改Loader打印波特率查看对应芯片的MINIALL.ini确定要修改的bin文件#查看对应芯片的MINIALL.ini cat rkbin/RKBOOT/RK3562MINIALL.ini修改uart baudrate参数修改以下目
    Industio_触觉智能 2024-12-03 11:28 87浏览
  • 概述 说明(三)探讨的是比较器一般带有滞回(Hysteresis)功能,为了解决输入信号转换速率不够的问题。前文还提到,即便使能滞回(Hysteresis)功能,还是无法解决SiPM读出测试系统需要解决的问题。本文在说明(三)的基础上,继续探讨为SiPM读出测试系统寻求合适的模拟脉冲检出方案。前四代SiPM使用的高速比较器指标缺陷 由于前端模拟信号属于典型的指数脉冲,所以下降沿转换速率(Slew Rate)过慢,导致比较器检出出现不必要的问题。尽管比较器可以使能滞回(Hysteresis)模块功
    coyoo 2024-12-03 12:20 111浏览
  • 光伏逆变器是一种高效的能量转换设备,它能够将光伏太阳能板(PV)产生的不稳定的直流电压转换成与市电频率同步的交流电。这种转换后的电能不仅可以回馈至商用输电网络,还能供独立电网系统使用。光伏逆变器在商业光伏储能电站和家庭独立储能系统等应用领域中得到了广泛的应用。光耦合器,以其高速信号传输、出色的共模抑制比以及单向信号传输和光电隔离的特性,在光伏逆变器中扮演着至关重要的角色。它确保了系统的安全隔离、干扰的有效隔离以及通信信号的精准传输。光耦合器的使用不仅提高了系统的稳定性和安全性,而且由于其低功耗的
    晶台光耦 2024-12-02 10:40 120浏览
  • 最近几年,新能源汽车愈发受到消费者的青睐,其销量也是一路走高。据中汽协公布的数据显示,2024年10月,新能源汽车产销分别完成146.3万辆和143万辆,同比分别增长48%和49.6%。而结合各家新能源车企所公布的销量数据来看,比亚迪再度夺得了销冠宝座,其10月新能源汽车销量达到了502657辆,同比增长66.53%。众所周知,比亚迪是新能源汽车领域的重要参与者,其一举一动向来为外界所关注。日前,比亚迪汽车旗下品牌方程豹汽车推出了新车方程豹豹8,该款车型一上市就迅速吸引了消费者的目光,成为SUV
    刘旷 2024-12-02 09:32 119浏览
  • 戴上XR眼镜去“追龙”是种什么体验?2024年11月30日,由上海自然博物馆(上海科技馆分馆)与三湘印象联合出品、三湘印象旗下观印象艺术发展有限公司(下简称“观印象”)承制的《又见恐龙》XR嘉年华在上海自然博物馆重磅开幕。该体验项目将于12月1日正式对公众开放,持续至2025年3月30日。双向奔赴,恐龙IP撞上元宇宙不久前,上海市经济和信息化委员会等部门联合印发了《上海市超高清视听产业发展行动方案》,特别提到“支持博物馆、主题乐园等场所推动超高清视听技术应用,丰富线下文旅消费体验”。作为上海自然
    电子与消费 2024-11-30 22:03 98浏览
  • 当前,智能汽车产业迎来重大变局,随着人工智能、5G、大数据等新一代信息技术的迅猛发展,智能网联汽车正呈现强劲发展势头。11月26日,在2024紫光展锐全球合作伙伴大会汽车电子生态论坛上,紫光展锐与上汽海外出行联合发布搭载紫光展锐A7870的上汽海外MG量产车型,并发布A7710系列UWB数字钥匙解决方案平台,可应用于数字钥匙、活体检测、脚踢雷达、自动泊车等多种智能汽车场景。 联合发布量产车型,推动汽车智能化出海紫光展锐与上汽海外出行达成战略合作,联合发布搭载紫光展锐A7870的量产车型
    紫光展锐 2024-12-03 11:38 101浏览
  • TOF多区传感器: ND06   ND06是一款微型多区高集成度ToF测距传感器,其支持24个区域(6 x 4)同步测距,测距范围远达5m,具有测距范围广、精度高、测距稳定等特点。适用于投影仪的无感自动对焦和梯形校正、AIoT、手势识别、智能面板和智能灯具等多种场景。                 如果用ND06进行手势识别,只需要经过三个步骤: 第一步&
    esad0 2024-12-04 11:20 58浏览
  • RDDI-DAP错误通常与调试接口相关,特别是在使用CMSIS-DAP协议进行嵌入式系统开发时。以下是一些可能的原因和解决方法: 1. 硬件连接问题:     检查调试器(如ST-Link)与目标板之间的连接是否牢固。     确保所有必要的引脚都已正确连接,没有松动或短路。 2. 电源问题:     确保目标板和调试器都有足够的电源供应。     检查电源电压是否符合目标板的规格要求。 3. 固件问题: &n
    丙丁先生 2024-12-01 17:37 102浏览
  • 11-29学习笔记11-29学习笔记习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习笔记&记录学习习笔记&记学习学习笔记&记录学习学习笔记&记录学习习笔记&记录学习学习笔记&记录学习学习笔记记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&记录学习学习笔记&学习学习笔记&记录学习学习笔记&记录学习学习笔记&记
    youyeye 2024-12-02 23:58 73浏览
  • 作为优秀工程师的你,已身经百战、阅板无数!请先醒醒,新的项目来了,这是一个既要、又要、还要的产品需求,ARM核心板中一个处理器怎么能实现这么丰富的外围接口?踌躇之际,你偶阅此文。于是,“潘多拉”的魔盒打开了!没错,USB资源就是你打开新世界得钥匙,它能做哪些扩展呢?1.1  USB扩网口通用ARM处理器大多带两路网口,如果项目中有多路网路接口的需求,一般会选择在主板外部加交换机/路由器。当然,出于成本考虑,也可以将Switch芯片集成到ARM核心板或底板上,如KSZ9897、
    万象奥科 2024-12-03 10:24 68浏览
  •         温度传感器的精度受哪些因素影响,要先看所用的温度传感器输出哪种信号,不同信号输出的温度传感器影响精度的因素也不同。        现在常用的温度传感器输出信号有以下几种:电阻信号、电流信号、电压信号、数字信号等。以输出电阻信号的温度传感器为例,还细分为正温度系数温度传感器和负温度系数温度传感器,常用的铂电阻PT100/1000温度传感器就是正温度系数,就是说随着温度的升高,输出的电阻值会增大。对于输出
    锦正茂科技 2024-12-03 11:50 111浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦