【uvm】FIFO方法

最新推荐文章于 2024-05-24 18:38:16 发布
最新推荐文章于 2024-05-24 18:38:16 发布
阅读量1.8k 收藏 14
点赞数
分类专栏： uvm 文章标签： uvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_39060517/article/details/122853605
版权

FIFO的类型有两种：uvm_tlm_analysis_fifo和uvm_tlm_fifo。两者的差别在于前者有一个analysis_export端口并有一个write函数，而后者没有。

UVM提供用于FIFO调试的函数：used函数用于查询FIFO缓存中有多少transaction；flush函数，用于清空FIFO缓存中的所有数据，它一般用于复位等操作。is_empty函数用于判断当前FIFO缓存是否为空；is_full函数用于判断当前FIFO缓存是否已经满了。作为一个缓存来说，其能存储的transaction是有限的。那么这个最大值是在哪里定义的呢？FIFO的new函数原型如下：function new(string name, uvm_component parent = null, int size = 1);

FIFO本质上是一个component，所以其前两个参数是uvm_component的new函数中的两个参数。第三个参数是size，用于设定FIFO缓存的上限，默认情况下为1。若要把缓存设置为无限大小，将传入的size参数设置为0即可。通过size函数可以返回这个上限值。

原文链接

在这里插入图片描述

斐非韭
关注
  • 0
    点赞
  • 踩
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
fifo_UVM.zip
08-14
数字IC验证初学入门者，UVM验证方法学，异步FIFO
[UVM源代码研究] 我们每天都在用的uvm_tlm_analysis_fifo内部是如何工作的
sunstat的博客
03-15 981
uvm_tlm_analysis_fifo研究
UVM基础-TLM机制之analysis端口与FIFO
qq_36955425的博客
05-11 3222
其他特性，与常规的port，export，imp类似，一个uvm_analysis_port与uvm_analysis_export连接会报错，终点必须是uvm_analysis_imp，uvm_analysis_port，uvm_analysis_export，uvm_analysis_imp都是参数化类，且参数与常规的port，export，imp一致。可以看到，FIFO new函数的第三个参数，实际上是FIFO的大小，默认大小为1，当size值设为0时，FIFO深度定义为无限大。
基于UVM平台对异步FIFO的验证（1.基本的FIFO知识）
最新发布
qq_45667135的博客
05-24 714
针对这种情况后续会在UVM验证平台解决。这是UVM的结构图，首先需要搭建top层，top层中要包含DUT(即rtl代码，testcase，env，scoreboard，write-master，read-monitor，driver，sequencer，以及事务transaction等等)。由于异步FIFO是工作在两个不同的时钟域中，如果读地址在某一时刻从0111->1000转变 ，恰好写时钟要在这时刻采样读地址，那么得到的值有可能是000-1111中的任一值，这个不确定的读地址值会导致空满状态判断错误。
UVM笔记
意大利炮修理师的博客
05-17 536
UVM实战笔记
UVM 事务级建模TLM 单向/多向通信 端口 FIFO通信
踩坑记录
09-05 1195
TLM通信是基于组件请求的发起和响应，组件之间涉及事务（transaction, trans）的传输，如sequencer与driver、monitor与scoreboard、monitor与coverage model。TLM仅仅适用于component之间的连接TLM在各组件之间建立一个专用通道，让信息只在这个通道里流动，因此避免了全局变量，public成员变量和config机制通讯时带来的不便。
异步fifo的UVM验证（最终版）
qq_44674008的博客
05-31 5650
这一篇帖子我鸽子了好久，前俩周忙教研室课题还要做实验，今天五月最后一天就把这个验证的框架全部更新完了，我真的没有太监掉这个帖子。后续各位就可以在这个基础上自己写test文件来实现一些功能验证了。顺便我把代码放到gitee上了，有需要的小伙伴可以私聊我。 写在前面的一些总结（很重要）： ****之前我是将数据放置到数据包里面发送，但是我对于这个方式改了很久发现了几个bug实在是无法解决：第一个就是发送多个数据包的时候，读速度跟不上，在写满后，会直接结束仿真，而不是读出一个数据后继续发送。第二个就是数据包长
（4）UVM TLM通信之FIFO上的端口及调试
数字IC攻城狮
11-17 2035
TLM通信之FIFO上的端口及调试FIFO上的端口及调试FIFO和IMP的取舍 FIFO上的端口及调试 上图中所有以圆圈表示的EXPORT虽然名字中有export，但是本质上都是IMP。这里面包含了12种IMP，用于分别和相应的PORT及EXPORT连接。 peek端口与get相似，其数据流、控制流都相似，唯一的区别在于当get任务被调用时，FIFO内部缓存中会少一个transaction，而peek被调用时，FIFO会把transaction复制一份发送出去，其内部缓存中的transaction数量并不
FIFO_UVM.rar_Giving_UVM_fifo uvm_system verilog_uvm fifo
09-21
fifo uvm this is total fifo tb with uvm including score board with total uvm_topology with test cases with rtl giving proper output
基于UVM的异步fifo验证平台设计
07-21
总之，基于UVM的异步FIFO验证平台设计是一个综合性的任务，涵盖了异步FIFO的硬件设计以及UVM验证方法学的应用。通过精心设计的读写Agent和多样的测试case，我们可以有效地验证FIFO的正确性和鲁棒性，确保其在实际...
数字IC验证+UVM验证+异步FIFO的UVM环境搭建及验证
09-26
2022提前批，数字IC验证，笔试题：异步FIFO的UVM环境搭建及验证。 给了一个异步FIFO的代码工程，要求自己搭建UVM验证环境去验证这个设计，结果包括覆盖率收集以及错误点等等。 适合2023届目标IC验证领域的小伙伴做一...
数字IC验证+UVM验证+异步FIFO验证+笔试分享
06-12
思朗科技，2022提前批，数字IC验证，笔试题：异步FIFO的UVM环境搭建及验证。 给了一个异步FIFO的代码工程，要求自己搭建UVM验证环境去验证这个设计，结果包括覆盖率收集以及错误点等等。 适合2023届目标IC验证领域的...
FIFO_UVM_VIP.zip_FIFO验证sv_UVM_uvm 代码_如何验证fifo_异步fifo验证
07-14
用uvm验证方法学验证异步fifo，文件包括异步FIFOrtl代码和uvm组件
异步FIFO设计资料与Verilog rtl以及uvm仿真环境
12-26
本资源包括经典CummingsSNUG2002SJ_FIFO设计文档，以及对应异步fifo verilog rtl实现，以及前仿环境，uvm仿真环境，适合初学者学习fifo原理以及fifo设计。并有相关前仿环境以及uvm环境readme。
异步FIFO_异步FIFO_
10-02
当使用异步信号时，一个好的设计将对异步信号执行同步处理。 同步通常使用多级D触发器级联处理，如下图所示。 该模型的大多数数据表明，在第一级寄存器生成亚稳态之后，第二级寄存器的稳定输出概率为90％，第三级...
[UVM]UVM中的analysis port 和analysis export
01-06
UVM中的analysis port 和analysis export 一、analysis port 和analysis export與port 和export的區別 都是用于传递transaction analysis port（analysis export）与IMP 之间的通信是一种一对多的通信，而PORT 和...
UVM：4.3.4 FIFO 上的端口调试
06-15 1581
1.uvm_tlm_analysis_fifo 有众多端口： 1）所有圆圈表示的export 虽然名字中有export，但本质上都是IMP。 2）peek 和 get 的区别是peek调用时，FIFO 会把transaction 复制一份发出去，内部缓存中的transaction 数量并不会减少。 3）除了12 个IMP外，还有两个analysis_port：put_ap 和 get
UVM实战 卷I学习笔记7——UVM中的TLM通信（3）
weixin_41979380的博客
10-15 1687
目录UVM中的通信方式*使用FIFO通信FIFO上的端口及调试用FIFO还是用IMP UVM中的通信方式 *使用FIFO通信 上节实现monitor和scoreboard之间的通信时先声明了两个后缀，然后再写相应的函数，这种方法看起来有些麻烦且有些难理解，那有没有简单的方法呢？另外两者的通信是monitor占据主动地位，而scoreboard只能被动地接收，那有没有方法也让scoreboard实现主动的接收呢？答案是肯定的，那就是利用FIFO来实现monitor和scoreboard的通信。 如图b，在
[UVM]UVM TLM FIFO使用方法總結
元直的博客
04-12 5007
UVM TLM FIFO 目录 UVM TLM FIFO 一、TLM FIFO Overview 二、TLM FIFO Classes 三、TLM FIFO Methods 3.1、new 3.2、size 3.3、used 3.4、is_empty 3.5、is_full 3...
fifo验证uvm框架
07-07
### 回答1： FIFO验证是在UVM框架中非常常见的一种验证方式。FIFO是First-In-First-Out的缩写，它是一种特殊的数据结构，它可以按照进入队列的顺序进行数据的读写操作。 在UVM框架中，FIFO验证主要用于验证存储和传输数据的模块，比如FIFO模块和存储器模块。通过使用UVM中提供的各种类和功能，我们可以轻松地进行FIFO验证。 首先，我们需要创建一个FIFO模型，并定义相应的输入和输出接口。然后，我们可以使用UVM中提供的sequencer和driver来生成和驱动随机的输入数据。通过监视器（monitor）和分析器（analyzer），我们可以对输出结果进行检查，并与预期结果进行比较，以判断验证是否通过。 在验证过程中，我们可以使用UVM中提供的各种工具和方法来验证FIFO的各种功能和性能特性，比如空闲状态、写入和读取操作、数据丢失和溢出等等。同时，我们还可以使用UVM提供的各种约束来验证特定的属性和规则，确保FIFO模块的正确性和稳定性。 总之，通过使用UVM框架中提供的各种类和方法，我们可以方便地进行FIFO验证的设计和实现。这种验证方式可以有效地验证FIFO模块的各种功能和性能特性，提高验证的可靠性和效率，为系统级设计的开发和调试提供有力的支持。 ### 回答2： FIFO（First In First Out）是一种数据结构，在UVM（Universal Verification Methodology）框架中，可以使用FIFO来验证设计中的数据传输和存储。 在UVM中，我们可以通过使用uvm_fifomem类来实现FIFO的验证。首先，我们需要定义FIFO的深度（即可以存储的元素数量），并在测试环境中实例化uvm_fifomem类。然后，在测试环境的构造函数中，我们可以通过调用write()函数向FIFO中写入元素，并使用read()函数从FIFO中读取元素。 在进行FIFO验证时，我们可以编写不同的测试用例，来验证FIFO是否能够正确地处理数据。例如，我们可以编写一个测试用例，向FIFO中按顺序写入一些元素，然后再依次读取这些元素，并验证读取的元素与写入的元素是否一致。此外，我们还可以编写其他的测试用例，验证FIFO在各种情况下的正确性，例如在写满的情况下是否能够正确处理数据。 FIFO验证的重点是确认FIFO能够按照预期的顺序读取和写入数据。我们可以使用UVM提供的assert()函数来进行验证。在写入数据时，我们可以使用assert()函数来验证写入数据的完整性和一致性；在读取数据时，我们可以使用assert()函数来验证读取的数据是否与预期一致。此外，我们还可以使用UVM提供的randomize()函数来生成随机的数据，以测试FIFO是否能够正确地处理各种不同的数据。 总结来说，FIFO验证是使用UVM框架来验证FIFO数据结构的正确性。通过使用uvm_fifomem类，我们可以实现FIFO的功能，并编写相应的测试用例来验证FIFO在各种情况下的正确性。使用assert()函数和randomize()函数可以帮助我们进行验证并生成随机的数据，以确保FIFO的正确性。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值