原创 虹科干货 | 如何测试与验证复杂的FPGA设计(1)——面向实体或块的仿真

2022-7-20 14:38 521 0 分类: FPGA/CPLD 文集: 虹科干货分享

IP核的开发过程中,面临着许多关键技术,比如IP核的规格定义、基于接口的设计、IP核测试存取结构标准、IP核的验证与打包等。对于IP核的验证,主要是建立参照模型和测试平台,然后进行回归测试和形式验证。这里参照的模型主要用于对系统功能进行验证以及和RTL模型的对照验证,该模型主要用Verilog HDL等语言来构造。测试平台的建立与子模块设计并行,搭建验证环境和开发测试用例,并针对IP核的行为级模型对测试环境和测试用例进行调试,从而同步准备好用来仿真测试RTLIP核的验证环境和测试用例。

仿真和验证是开发任何高质量的基于 FPGA RTL 编码过程的基础。在本系列文章中,我们将分享我们设计过程中的关键步骤,并将基于虹科以太网IP核产品组合进行介绍。

整个过程的关键步骤如下:

  • 面向实体/块的仿真:通过在每个输入信号上生成激励并验证 RTL 代码行为是否符合预期,对构成每个 IP 核的不同模块进行实体/块的仿真。
  • 面向全局的仿真:一旦不同的模块被单独验证,则意味着下一步将整个IP仿真为单个 UUT(被测试单元)。
  • (On)硬件测试:尽管扩展的仿真计划提供了良好的可信度,但仍有许多corner的情况无法在虚拟环境中验证。对于这些情况,需要基于硬件的测试计划,这也是获得高质量结果的最后一步。

在本篇文章中,我们将介绍第一步:IP 仿真的实体或块级别是如何完成的。

面向实体或块的仿真

“面向实体或块的仿真”这一步骤意味着验证在 IP 核内具有特定操作的特定实体或模块的正确操作。每个 IP 核都由许多实体或块组成,为了测试它们,每个实体会有不同的测试平台,通过在输入受到刺激时观察设计的输出来执行设计。这将有助于检查预期的行为。

举个例子就可以很好地理解一切。在这种情况下,我们将解释虹科以太网交换机IP核的过滤数据库。

过滤数据库存储 MAC 地址及其相关信息以做出帧转发决策。它是一个基于哈希的存储器,每个地址条目都有一些存储过滤数据的 bin。该哈希算法还生成过滤数据库内存的索引。

过滤数据库执行有三个主要过程:学习、查找和老化。

  • 学习过程负责在满足不同条件时保存帧。
  • 查找过程是在过滤数据库中搜索并获得帧的转发端口掩码的过程。
  • 老化过程根据给定的时间段删除旧的 MAC 条目。

在这个仿真MAC表的具体案例中,请始终尝试测试构成过滤数据库功能的所有机制。从这个意义上说,就像学习不同的MAC,不同的查询、老化是并行完成的,最后需要清除MAC表并验证所有条目都已删除。此外,研究并始终能够测试可能的corner案例也十分重要。

测试和验证复杂 FPGA 设计的第二个关键步骤将在后续更新的文章中展开介绍。一旦形成 IP 核的所有实体都按预期工作,全局仿真就会发挥作用。


IP核可以使开发人员减设计工作量并缩短产品上市时间。虹科目前已有丰富的IP核产品组合,包括TSN IP核、HSR/PRP IP核、以太网IP核、冗余IP核等,可以轻松集成到用户的FPGA中。



作者: 虹科智能自动化, 来源:面包板社区

链接: https://mbb.eet-china.com/blog/uid-me-3988237.html

版权声明:本文为博主原创,未经本人允许,禁止转载!

给作者打赏,鼓励TA抓紧创作!

赞赏支持
点赞 0
赞赏0

文章评论0条评论)

登录后参与讨论
相关推荐阅读
虹科智能自动化 2023-01-17 17:45
虹科分享 | TSN时间敏感网络测试框架
一、时间敏感网络时间敏感网络(TSN)允许合并OT和IT世界,并保证确定性以太网网络中所有设备的互操作性和标准化。TSN建立在一个真正成熟的生态系统中(如以太网),因此大家认为TSN将是下一代工业网络...
虹科智能自动化 2022-12-07 11:30
虹科分享 | 基于CAN/CAN FD技术的机器狗(四足仿生机器人)是什么样的?
机器狗是一种结合了仿生学和人工智能的仿生四足机器人,其外形与四足动物相似,由于其运动摆脱了轮式和履带式的设计,机器狗的机动性更为强大,能够灵活地完成多种复杂的运动,并能够在不同的地理环境中自主行走,甚...
虹科智能自动化 2022-11-23 13:41
虹科教您 | 虹科KPA Automation softPLC入门操作指南(2)——子程序和用户自定义功能块 UDFB
虹科KPA Automation softPLC是为Linux、Xenomai、INtime、Windows等实时操作系统开发PLC的编程环境,十分适合需要使用IEC61131-3和PLCopen标准...
虹科智能自动化 2022-11-02 13:32
虹科干货 | 不用外部Redbox如何无缝合并PRP和HSR网络实现精确时间同步?
目前,各个行业正在朝着以太网发展。近年来出现了一些技术创新,以增强标准以太网的弹性,并将其用作OT和IT的通用链路层。在具有高可用性和严格时序要求的关键领域,如电气领域,这些技术创新得到了发展。一、以...
我要评论
0
0
1
2
3
4
5
6
7
8
9
0
关闭 热点推荐上一条 /3 下一条