文章目录
- 前言
- 1、基本思路
- 2、支持乱序传输的sequence
- 3、支持乱序传输的Driver
- 总结
前言
乱序传输(out-of-order)是指在协议中,后发出去的req,支持先回resp,通常通过ID来保证req和resp之间的关系。很多协议支持乱序传输,例如AXI4。本文主要介绍,在UVM的环境中,构造支持乱序传输的验证环境的方法。
1、基本思路
在uvm环境中,要实现乱序传输,主要是处理sequence和driver之间的数据交互。
在sequence中,需要一个存储transaction和transaction ID的关联数组,当下发一个transaction时,需要将这个transaction和对应的ID存起来,然后去获取相应resp的ID,注意这个时候获取resp ID的进程不能阻塞下一个req的发送,当获取到resp时,就需要将关联数组中对应ID的transaction删除回收。
在driver中,首先需要关闭driver自动收集transaction的功能,改为手动收集;其次需要去获取sequence通过sequencer发过来的transaction,并对其进行相应的处理,注意这里接收transaction和处理transaction需要分开并行执行,否则处理transaction的时候,有可能会因为阻塞了接收transaction,造成本应该被接收的transaction,在sequenc中被下一条transaction覆盖,从而导致丢失;最后,为了实现接收和处理transaction这两个进程之间的数据交互,需要一个存储transaction的队列。
2、支持乱序传输的sequence
这里有几个关键点:
1)packet pkt_reg[int],这里是声明存储transaction和transaction ID的关联数组。
2)wait(pkt_req.size()<5),这句话可以理解为outstanding=5,当下游的resp被阻塞时,防止上游的req一下子全部发下去了。
3)pkt_req[req.get_transaction_id()] = req,这里是利用关联数组,保存当前的transaction和ID。
4)接下来的fork - join_none主要是用来对已经收到resp的req进行回收,采用fork - join_none的目的是为了不阻塞下一次req的发送。
3、支持乱序传输的Driver
这里也提几个关键点:
1)seq_item_port.disable_auto_item_recording(),关闭driver中自动记录transaction的功能。
2)利用fork - join启用两个进程,分别负责接收transaction以及处理transaction。
3)在接收的进程中,接收到transaction之后,就将transaction送入队列中;在处理的进程中,一旦队列不为空,则对队列中的数据进行处理。
总结
本文主要总结一下,在uvm环境中,如何处理乱序的传输。首先给出整体思路,然后分别针对sequence和driver提供具体的代码实现供参考。