0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

如何配置sequence的仲裁算法和优先级?

sanyue7758 来源:芯片学堂 2023-04-27 15:20 次阅读

01 Arbitrary

在UVM中,多个sequence可以同时被绑定到相同的sequencer并启动。这种测试场景在实际中是存在的,比如在模拟同一个总线master口上的不同类型的数据流时,可以将符合这些不同类型的数据流的sequence绑定到同一个sequencer,并启动它们,以构造出复杂的测试场景。

243ed7da-e4cb-11ed-ab56-dac502259ad0.png

这样一来,在验证环境运行中就会出现竞争的问题,当多个sequence同时企图向下游发transaction的时候,sequencer需要能够决定处理这些transaction的顺序。而给出答案的,是sequencer内建的仲裁机制。

下面给出一个简单的UVM例程:例程同时启动三个sequence(seq_0, seq_1, seq_2),它们会往同一个sequencer发transaction,并且在启动的时候还分配了权重值(start方法的第三个参数),每个sequence会循环发送4个transaction。

在Env中例化sequencer和driver,并完成连接。例程中在driver拿到transaction之后,会根据transaction的成员变量id和index打印出来当前transaction产生自哪个sequence,以及是循环的第几次。

244de914-e4cb-11ed-ab56-dac502259ad0.png

仿真结果如下,可以看得出来在没有配置仲裁算法的情况下,即使我们为sequence都分配了权重值,sequencer对三个sequence还是“雨露均沾”:

2457b390-e4cb-11ed-ab56-dac502259ad0.png

实际上,UVM给我们预设了六种仲裁算法供选择,同时保留了用户自定义的接口。默认情况下,使用的仲裁算法是UVM_SEQ_ARB_FIFO,严格按照先进先出的原则来做选择,所以才会出现上面说的,仿真结果跟权重值没有关系。关于仲裁算法,需要根据实际测试场景来做出选择。

24703a50-e4cb-11ed-ab56-dac502259ad0.png

那么如何配置仲裁算法?在代码中,可以通过调用sequencer的方法set_arbitration()来对仲裁算法进行配置。比如在上面例程env_demo类的build_phase函数的最后一行,可以加上sqr.set_arbitration(UVM_SEQ_ARB_WEIGHTED)来配置仲裁算法,仿真结果我贴在下面,可以看到,我们分配的权重值开始起作用了:

247a69ee-e4cb-11ed-ab56-dac502259ad0.png

02 LockingMechanism

Locking mechanism指的是sequence对sequencer的占用,sequence可以优先获得sequencer的使用权限,并且在它自己释放之前,其他sequence无法通过该sequencer和driver发送transaction。

Sequence抢占功能同样来源于测试场景的需求,应用于当有某个sequence需要优先并独占sequencer的时候,比如对中断(interrupt)的处理。如下图所示,当sequence_2占用了sequencer之后,其他sequence在sequence_2释放之前将无法联系上sequencer。

24938f5a-e4cb-11ed-ab56-dac502259ad0.png

UVM提供了两种抢占方法:lock和grab。lock方式会等待仲裁机制正常调度到该sequence(即将请求放在仲裁队里的最后),并占用该sequencer直到sequence调用unlock()来解锁;grab方式则会使该sequence在下一轮仲裁中被执行(即将请求放在仲裁队列的最前面),并占用该sequencer直到sequence调用unlock()和ungrab()。

Sequencer被某个sequence抢占了之后,我们可以通过调用它的成员方法来获取当前的状态信息。比如,可以在sequence的body()里面使用m_sequencer.is_grabbed()函数来看当前sequencer是不是被谁锁住了;还可以使用m_sequencer.current_grabber()函数来获得当前锁住sequencer的sequence句柄;还有其他函数可以使用,具体可以参考UVM的手册。

24a0670c-e4cb-11ed-ab56-dac502259ad0.png

关于lock和grab的使用在其他地方有很多示例代码,这里将基于上面的例程,展示UVM 1.2潜藏的一个bug。先在上述代码中seq_demo_0类的body()任务的入口和出口处,分别加上lock()和unlock(),如上图所示,然后进行仿真,就会发现:最终只有seq_0抢先锁住了sequencer,虽然我们在body()的最后调用了unlock(),但是seq_1和seq_2在seq_0结束之后依然抢不到锁,仿真最后结束在UVM timeout,如下图:

24a7a166-e4cb-11ed-ab56-dac502259ad0.png

这是一个UVM的bug,问题的根源在uvm_sequencer_base的源码中,当有多个sequence在lock_list队列里面时,调用m_wait_for_available_sequence()方法获取sequence句柄会使代码挂死。该UVM issue已经有人提交到了accellera,具体可以参见参考资料2。这个bug在UVM 2017-1.1或者UVM 2020中可能已经修掉了,有兴趣的读者可以自己试一下。鉴于目前有很多代码是基于UVM 1.2构建的,用户在使用lock/grab的时候需要特别注意这个bug。

03Sequence Interrupt

处理器等数字系统中,通常硬件中断都是由某个信号脉冲或者电平来触发,并通过中断控制仲裁之后,由控制器发送给处理器进行处理。

在Sequence中的中断操作也类似,分两部分实现:第一部分是将通过虚拟接口监视中断源信号的变化,以实现软硬件的隔离;第二部分是在主sequence中发起一个监视进程(monitor process),在等到中断到来之后启动用作中断处理的sequence。

24c2660e-e4cb-11ed-ab56-dac502259ad0.png

另外,Sequence一旦被启动,通常不会去想着将它异常结束(通过seq.kill()或者seqr.stop_sequences()调用),否则我们需要更加复杂的实现去查看当前driver是否空闲,以确保sequencer跟driver的握手机制不出问题。如果有必要将sequence提前结束,建议在sequence内部去做条件判断和处理。




审核编辑:刘清

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 处理器
    +关注

    关注

    68

    文章

    19281

    浏览量

    229789
  • 控制器
    +关注

    关注

    112

    文章

    16356

    浏览量

    177991
  • UVM
    UVM
    +关注

    关注

    0

    文章

    182

    浏览量

    19169
  • FIFO存储
    +关注

    关注

    0

    文章

    103

    浏览量

    5971

原文标题:SystemVerilog | UVM | Sequence的仲裁和锁定,还有要避开UVM的bug

文章出处:【微信号:处芯积律,微信公众号:处芯积律】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    基于优先级抢占系统的QNX调度算法

    调度算法,是基于优先级的。QNX的线程优先级,是一个0-255的数字,数字越大优先级越高。所以,优先级0是内核中的idle线程。同时,
    发表于 10-31 09:17 731次阅读

    RTOS应用中的优先级反转问题

    在嵌入式系统中,如果使用基于优先级调度算法的RTOS,系统中可能发生优先级反转现象。优先级反转用来描述系统中高优先级任务由于等待低
    发表于 12-14 11:00 1210次阅读

    中断优先级配置的函数

    一、中断优先级配置的函数:1.NVIC_IRQChannelPreemptionPriority配置抢占优先级2.NVIC_IRQChannelSubPriority
    发表于 08-04 08:24

    如何在VHDL中实现简单优先级仲裁

    本文着眼于仲裁器的用例和优点,以及在VHDL中实现简单优先级仲裁器。仲裁是任何现代计算机系统的重要组成部分。从I2C和CAN 等通信协议中的总线仲裁
    发表于 12-23 06:38

    什么是优先级位图算法

    什么是优先级位图算法
    发表于 12-27 07:43

    如何配置sequence仲裁算法优先级及中断sequence的执行

    出来当前transaction产生自哪个sequence,以及是循环的第几次。仿真结果如下,可以看得出来在没有配置仲裁算法的情况下,即使我们为seq
    发表于 09-23 14:35

    简单优先级仲裁器:使用VHDL和Logisim在嵌入式系统中分配资源

    本文着眼于仲裁器的用例和优点,以及在VHDL中实现简单优先级仲裁器。仲裁是任何现代计算机系统的重要组成部分。从I2C和CAN 等通信协议中的总线仲裁
    发表于 02-13 09:45 987次阅读
    简单<b class='flag-5'>优先级</b><b class='flag-5'>仲裁</b>器:使用VHDL和Logisim在嵌入式系统中分配资源

    STM32中断及FreeRTOS中断优先级配置

    STM32中断,及FreeRTOS中断优先级配置
    的头像 发表于 03-04 11:45 8913次阅读
    STM32中断及FreeRTOS中断<b class='flag-5'>优先级</b><b class='flag-5'>配置</b>

    Cortex-M中断及FreeRTOS中断优先级配置原理

    下面就来说说关于Cortex-M的中断,及FreeRTOS中断优先级配置原理。
    发表于 02-08 15:30 3次下载
    Cortex-M中断及FreeRTOS中断<b class='flag-5'>优先级</b><b class='flag-5'>配置</b>原理

    中断优先级处理的原则及配置 抢占优先级和响应优先级的区别

    首先我们需要知道什么是中断优先级:中断优先级是CPU响应中断的先后顺序
    的头像 发表于 05-18 15:10 2.7w次阅读
    中断<b class='flag-5'>优先级</b>处理的原则及<b class='flag-5'>配置</b> 抢占<b class='flag-5'>优先级</b>和响应<b class='flag-5'>优先级</b>的区别

    如何配置sequence仲裁算法优先级

    这样一来,在验证环境运行中就会出现竞争的问题,当多个sequence同时企图向下游发transaction的时候,sequencer需要能够决定处理这些transaction的顺序。而给出答案的,是sequencer内建的仲裁机制。
    的头像 发表于 09-14 15:59 1505次阅读

    SysTick的优先级配置方法

    SysTick的优先级配置,常见的有两种说法,这两种说法完全相反,依次说一下各自特点。
    的头像 发表于 03-01 10:49 4871次阅读
    SysTick的<b class='flag-5'>优先级</b><b class='flag-5'>配置</b>方法

    什么是优先级反转

    假设现在有三个任务TaskA(优先级高)、TaskB(优先级中)、TaskC(优先级低),一个信号量(Semaphore),此信号量用于任务之间争夺某个资源。在某一时刻,高优先级的Ta
    的头像 发表于 04-24 13:01 2278次阅读
    什么是<b class='flag-5'>优先级</b>反转

    为什么使用CubeMx配置NVIC时不见子优先级选项

    时,不难发现一个问题,那就是怎么没有中断子优先级【或称响应优先级、副优先级等】的配置?!【当然,很多时候我们或许没有关注子优先级】如下图所示
    的头像 发表于 09-09 15:32 1306次阅读
    为什么使用CubeMx<b class='flag-5'>配置</b>NVIC时不见子<b class='flag-5'>优先级</b>选项

    GD32如何配置中断优先级分组以及中断优先级

    使用GD32 MCU的过程中,大家可能会有以下疑问:中断优先级如何配置和使用?
    的头像 发表于 01-10 10:30 3089次阅读
    GD32如何<b class='flag-5'>配置</b>中断<b class='flag-5'>优先级</b>分组以及中断<b class='flag-5'>优先级</b>