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

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

3天内不再提示

SVA Assertion有什么优势?

芯片验证工程师 来源:芯片验证工程师 作者:芯片验证工程师 2022-12-16 09:37 次阅读

简单来说,assertion就是一个对于设计规格的check。

如果我们设计正确工作时需要满足FRAME_上升沿后的1~2拍会出现LDP_的下降沿,如下图所示

4da71332-7ce1-11ed-8abf-dac502259ad0.png

那么SVA语法就可以写成:

4dcd2db0-7ce1-11ed-8abf-dac502259ad0.png

非常简洁高效。

如果只使用Verilog呢?该怎么进行这种规格的检查呢?

4df2635a-7ce1-11ed-8abf-dac502259ad0.png

在上面的例子中,每次监测到FRAME_就会启动2个进程(fork-join)。

如果无法在两个时钟周期内监测到LDP_的下降沿,那么就会打印FAIL。

语法的最高境界就是自然语言,从这个角度看SVA这种描述性语言比Verilog这类程序性语言要高效多了。

审核编辑 :李倩

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

    关注

    1

    文章

    19

    浏览量

    10117
  • Check
    +关注

    关注

    0

    文章

    4

    浏览量

    7545

原文标题:SVA Assertion有什么优势?

文章出处:【微信号:芯片验证工程师,微信公众号:芯片验证工程师】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    mpo配线架优势哪些

    MPO配线架作为一种高密度光纤配线设备,具有多方面的优势,这些优势使其在数据中心、机房、通信系统等需要高密度光纤连接和管理的场景中得到了广泛应用。以下是MPO配线架的主要优势: 1. 高密度连接 多
    的头像 发表于 09-26 10:24 230次阅读

    硅谷物理服务器哪些关键优势和特点

    硅谷的物理服务器设施全球知名,为各类企业提供了卓越的IT基础设施支持。下面将逐一探讨硅谷物理服务器的关键优势和特点,rak小编为您整理发布硅谷物理服务器哪些关键优势和特点。
    的头像 发表于 08-16 13:28 144次阅读

    数字化工厂的数据采集平台什么优势

    数字化工厂的数据采集平台什么优势
    的头像 发表于 07-31 16:17 211次阅读

    一文详解主机托管的产品优势哪些

    主机托管的产品优势哪些?主机托管在安全、性能、资源配置与扩展性、技术支持与维护、成本效益、管理、合法性等方面有显著的优势。这些产品优势可以帮助企业构建稳定、高效、安全的网络环境。
    的头像 发表于 07-24 13:12 174次阅读

    云安全的优势哪些

    云安全的优势 随着云计算技术的快速发展,越来越多的企业和个人开始将数据和应用迁移到云端。然而,云安全问题也日益凸显,成为人们关注的焦点。本文将详细介绍云安全的优势。 一、云安全的定义 云安全是指在云
    的头像 发表于 07-02 09:19 452次阅读

    mbed开发平台什么优势

    以下问题想了解了解: 1.用mbed开发有什么优势? 2.mbed对硬件什么要求,即什么样的硬件设计才支持mbed开发? 3.mbed开发和MDK开发有和区别? 4.对于STM32,mbed开发和ST的库有关系吗?
    发表于 04-30 07:50

    美国洛杉矶VPS的优势哪些?

    美国洛杉矶vps是很多用户的选择,那么美国洛杉矶VPS的优势哪些?rak部落小编为您整理发布美国洛杉矶VPS的优势哪些? 美国洛杉矶VPS的优势
    的头像 发表于 04-28 10:19 403次阅读

    ARM-based相比ARM cortex优势

    你看好ARM-based架构吗 相比ARM cortex优势 ARM其他还有什么架构啊,感觉曝光的好少。。
    发表于 04-24 06:55

    国巨陶瓷贴片电容哪些优势

    国巨陶瓷贴片电容哪些优势,YAGEO贴片电容(MLCC)是一种电容材质。贴片电容全称为:多层(积层,叠层)片式陶瓷电容器,也称为贴片电容,片容。陶瓷贴片电容相比其它电容占据较大优势,由于体积小作用强大,较多的应用到精密电子产品
    的头像 发表于 03-12 14:05 980次阅读
    国巨陶瓷贴片电容<b class='flag-5'>有</b>哪些<b class='flag-5'>优势</b>?

    引领射频工程师教育,鼎阳科技发布SVA-TB01射频教学套件

    2023年12月28日,鼎阳科技正式发布SVA-TB01射频实验教学板。 SVA-TB01采用模块化设计,使用者可以自由组合电路,适用于射频工程师入门学习和高校射频通信课程实验。 当前高校电子技术
    发表于 01-03 14:02 373次阅读
    引领射频工程师教育,鼎阳科技发布<b class='flag-5'>SVA</b>-TB01射频教学套件

    鼎阳科技推出SVA-TB01射频实验教学板

    2023年12月28日,鼎阳科技正式发布SVA-TB01射频实验教学板。SVA-TB01采用模块化设计,使用者可以自由组合电路,适用于射频工程师入门学习和高校射频通信课程实验。
    的头像 发表于 12-28 18:15 1173次阅读
    鼎阳科技推出<b class='flag-5'>SVA</b>-TB01射频实验教学板

    sva_assertion: 15道助力飞升的断言练习

    每一拍都要检查,因此不需要前置蕴含算子了(蕴含算子即|->和|=>);均有且只有1比特信号有效意味着我们需要使用系统函数$onehot();复位之后检查我们需要用到disable iff语句;
    的头像 发表于 12-08 16:26 847次阅读
    <b class='flag-5'>sva_assertion</b>: 15道助力飞升的断言练习

    云视频监控哪些优势

    “云”只是一个可以上传摄像机镜头的远程服务器,物理或本地录像机的维护和升级成本很高。切换到云可以帮助降低与存储摄像机网络记录的镜头相关的成本,并开放我们以前无法访问的大量功能。下面,小编详细给大家分享一下云视频监控哪些优势?
    的头像 发表于 11-20 17:01 1429次阅读

    弹簧拉压测试机哪些原理与优势

    弹簧拉压测试机哪些原理与优势?|深圳磐石测控
    的头像 发表于 11-20 09:10 855次阅读
    弹簧拉压测试机<b class='flag-5'>有</b>哪些原理与<b class='flag-5'>优势</b>

    使用单相变频电源哪些优势呢?

    使用单相变频电源哪些优势呢? 单相变频电源是一种常见的电源设备,它通过控制频率来调整输出电压,具有以下几个优势: 1. 节能高效:单相变频电源采用先进的无感应功率调节技术,能够实现高效能转换。它可
    的头像 发表于 11-16 14:33 588次阅读