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

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

3天内不再提示

Verdi使用技巧 连续有效信号量测方法

8ECz_icstudy 来源:fqj 2019-05-15 15:46 次阅读

如果问广大的ICer一个问题,大家在日常仿真中用的最频繁的工具是什么?

我相信绝大多数人的答案是Verdi——Synopsys旗下的一款功能强大的工具:

Verdi自动化调试系统是Verdi SoC调试平台的核心,它支持对所有设计和验证流程进行全面的调试。它包括强大的技术,帮助您理解复杂和不熟悉的设计行为,让困难和乏味的调试过程自动化,并能让多样和复杂的设计环境一致化。

如上面的官方定义所示:

IC设计中,可以根据仿真结果检查或者理解设计;

在IC验证中,常常用来调试(debug)一些错误的情况。

在IC君的眼中,Verdi既可以阅读调试代码,又可以查看波形(Verdi里面的nWave工具),包括数字设计的波形和模拟设计的波形,确实是居家旅游、工作赚钱的必备利器

1、下面分享一些在实际做项目过程中verdi在debug时的小技巧:连续信号有效数量的测量。

如下图所示,clk是输入时钟信号,data_enable_in是输入数据有效标志信号,y_in则是输入数据。在debug的时候,有时我们想要知道白色光标和黄色光标时间内有多少个连续有效的数据y_in。我们该如何做到呢?

Verdi使用技巧 连续有效信号量测方法

一般可以使用以下3种方法:

方法1:最直接也是最笨的办法,当然是手动去数,1、2、3…;如果该时间段内,数据量较少,很快就可以数出来了。当数据量较多时,只要你有足够的耐心和时间,有时还需要一副好眼睛,最终也是可以得到正确的结果。不过效率非常低下,比较麻烦的是还容易数错。

方法2:如果已知时钟周期(本例子中clkp=6.736ns),则可以计算该时间段内时钟个数来获知数据量;上面例子的图中两个光标之间的时间差delta=188.608ns,delta/T=28,因此就是28个数据了。是不是要比直接用手动数快很多了?这个办法虽然准确,但是每次都要计算一次,如果需要频繁的获知不同时间段内的有效数据还是太麻烦了一点。

方法3:本文重点要介绍的方法。该方法是通过把时钟周期设置为时间单位,这样两个光标之间的时间差就是该段时间内的有效数据量了。具体操作方法如下:

如下图用鼠标点击1,会弹出对话框;点击2位置倒三角形,下拉选项中选时钟周期单位是ns;然后再把timeunit 改为clock周期6.736ns,点击OK

Verdi使用技巧 连续有效信号量测方法

再看delta显示出来的值,已经变成28了,即为我们要数的数据量了。

Verdi使用技巧 连续有效信号量测方法

这个方法对于一段时间内的连续有效数据来说,应该是最简单有效的获取数据个数的方法了。任意改变两光标的距离或位置,都很直接的得到该段时间内的连续有效数据量。该方法在debug过程中常常会用到,请大家善加利用。

2、另外还有一个比较有效的办法是利用verdi的nWave里面的Signal Event Report 功能。该方法虽然稍显麻烦,但善于利用,也可以变得非常好用。方法如下图:

a.鼠标点击选中clk 这个信号;

b.点击view菜单,选择下拉菜单里面的SignalEvent report,就会弹出对话框;

c.进度条往后拖,会看到Falling#这一栏显示的数据28就是我们要的数据量了。

Verdi使用技巧 连续有效信号量测方法

以上就是一段时间内连续有效数据的几个测量方法。debug的时候方法3最简单便捷,应用频率也较高;但是其他几个方法在特定的场景下也可以发挥出自己的作用,需要根据实际debug的时候灵活应用。

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

    关注

    0

    文章

    22

    浏览量

    8741

原文标题:Verdi使用技巧——连续有效信号量测方法

文章出处:【微信号:icstudy,微信公众号:跟IC君一起学习集成电路】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    FreeRTOS信号量使用教程

    信号量是操作系统中重要的一部分,信号量一般用来进行资源管理和任务同步, FreeRTOS中信号量又分为二值信号量、 计数型信号量、互斥
    的头像 发表于 12-19 09:22 2873次阅读
    FreeRTOS<b class='flag-5'>信号量</b>使用教程

    信号量机制怎么理解

    信号量(Semaphore),有时被称为信号灯,是在多线程环境下使用的一种设施,是可以用来保证两个或多个关键代码段不被并发调用。在进入一个关键代码段之前,线程必须获取一个信号量;一旦该关键代码段完成了,那么该线程必须释放
    发表于 11-14 09:23 2.5w次阅读
    <b class='flag-5'>信号量</b>机制怎么理解

    你了解Linux 各类信号量

    内核信号量与用户信号量,用户信号量分为POXIS信号量和SYSTEMV信号量,POXIS信号量
    发表于 05-04 17:19 2427次阅读
    你了解Linux 各类<b class='flag-5'>信号量</b>?

    信号量和自旋锁

    ;伴随着从非抢占内核到抢占内核的过度。锁机制越来越有效,也越来越复杂。    目前来说内核中原子操作多用来做计数使用,其它情况最常用的是两种锁以及它们的变种:一个是自旋锁,另一个是信号量。我们下面就来
    发表于 04-02 14:43 776次阅读

    Linux IPC System V 信号量

    () //创建/获取信号量集 semctl() //初始化信号量集 semop() //操作信号量
    发表于 04-02 14:46 282次阅读

    Linux 多线程信号量同步

    直到系统将资源分配给该进程(进入等待队列,一直等到资源轮到该进程)。V操作:如果在该信号量的等待队列中有进程在等待资源,则唤醒一个阻塞进程;如果没有进程等待它,则释放一个资源(即信号量值加1)。模型
    发表于 04-02 14:47 355次阅读

    详解互斥信号量的概念和运行

    1 、互 斥 信 号 1.1 互斥信号量的概念及其作用 互斥信号量的主要作用是对资源实现互斥访问,使用二值信号量也可以实现互斥访问的功能,不过互斥
    的头像 发表于 10-22 11:57 1.1w次阅读
    详解互斥<b class='flag-5'>信号量</b>的概念和运行

    Linux信号量(2):POSIX 信号量

    上一章,讲述了 SYSTEM V 信号量,主要运行于进程之间,本章主要介绍 POSIX 信号量:有名信号量、无名信号量。 POSIX 信号量
    的头像 发表于 10-29 17:34 615次阅读

    浅谈鸿蒙内核源码的信号量运作原理

    基本概念 信号量(Semaphore) 是一种实现任务间通信的机制,可以实现任务间同步或共享资源的互斥访问。 一个信号量的数据结构中,通常有一个计数值,用于对有效资源数的计数,表示剩下的可被
    的头像 发表于 04-24 10:44 1448次阅读

    ThreadX(六)------信号量semaphore

    信号量semphere概述
    发表于 12-28 19:26 7次下载
    ThreadX(六)------<b class='flag-5'>信号量</b>semaphore

    使用二进制信号量取代任务通知

    二进制信号量只有0和1,两个任务公用一个信号量,一个任务用于产生信号量(即对信号量+1),另一个任务使用此信号量(即对
    的头像 发表于 09-15 09:22 786次阅读

    FreeRTOS的二值信号量

    FreeRTOS中的信号量是一种任务间通信的方式,信号量包括:二值信号量、互斥信号量、计数信号量,本次实验只使用二值
    的头像 发表于 02-10 15:07 1247次阅读

    Free RTOS的计数型信号量

    上篇讲解了二值信号量,二值信号量只能判断有无,而不能确定事件发生的次数,因此我们为了确定事件的次数引入了计数型信号量
    的头像 发表于 02-10 15:29 882次阅读
    Free RTOS的计数型<b class='flag-5'>信号量</b>

    使用Linux信号量实现互斥点灯

    信号量常用于控制对共享资源的访问,有计数型信号量和二值信号量之分。初始化时信号量值大于1的,就是计数型信号量,计数型
    的头像 发表于 04-13 15:12 697次阅读
    使用Linux<b class='flag-5'>信号量</b>实现互斥点灯

    Verdi使用技巧(二)

    上一篇文章IC君跟大家分享了Verdi使用技巧——连续有效信号量方法。 有不少网友在文章后留言或者微信给我留言,提供了一些其它
    的头像 发表于 04-25 14:42 3453次阅读
    <b class='flag-5'>Verdi</b>使用技巧(二)