简单来说,assertion就是一个对于设计规格的check。
如果我们设计正确工作时需要满足FRAME_上升沿后的1~2拍会出现LDP_的下降沿,如下图所示
那么SVA语法就可以写成:
非常简洁高效。
在上面的例子中,每次监测到FRAME_就会启动2个进程(fork-join)。
如果无法在两个时钟周期内监测到LDP_的下降沿,那么就会打印FAIL。
语法的最高境界就是自然语言,从这个角度看SVA这种描述性语言比Verilog这类程序性语言要高效多了。
审核编辑 :李倩
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。
举报投诉
-
SVA
+关注
关注
1文章
19浏览量
10117 -
Check
+关注
关注
0文章
4浏览量
7545
原文标题:SVA Assertion有什么优势?
文章出处:【微信号:芯片验证工程师,微信公众号:芯片验证工程师】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
相关推荐
mpo配线架优势有哪些
MPO配线架作为一种高密度光纤配线设备,具有多方面的优势,这些优势使其在数据中心、机房、通信系统等需要高密度光纤连接和管理的场景中得到了广泛应用。以下是MPO配线架的主要优势: 1. 高密度连接 多
硅谷物理服务器有哪些关键优势和特点
硅谷的物理服务器设施全球知名,为各类企业提供了卓越的IT基础设施支持。下面将逐一探讨硅谷物理服务器的关键优势和特点,rak小编为您整理发布硅谷物理服务器有哪些关键优势和特点。
一文详解主机托管的产品优势有哪些
主机托管的产品优势有哪些?主机托管在安全、性能、资源配置与扩展性、技术支持与维护、成本效益、管理、合法性等方面有显著的优势。这些产品优势可以帮助企业构建稳定、高效、安全的网络环境。
云安全的优势有哪些
云安全的优势 随着云计算技术的快速发展,越来越多的企业和个人开始将数据和应用迁移到云端。然而,云安全问题也日益凸显,成为人们关注的焦点。本文将详细介绍云安全的优势。 一、云安全的定义 云安全是指在云
mbed开发平台有什么优势?
我有以下问题想了解了解:
1.用mbed开发有什么优势?
2.mbed对硬件有什么要求,即什么样的硬件设计才支持mbed开发?
3.mbed开发和MDK开发有和区别?
4.对于STM32,mbed开发和ST的库有关系吗?
发表于 04-30 07:50
美国洛杉矶VPS的优势有哪些?
美国洛杉矶vps是很多用户的选择,那么美国洛杉矶VPS的优势有哪些?rak部落小编为您整理发布美国洛杉矶VPS的优势有哪些? 美国洛杉矶VPS的优势
国巨陶瓷贴片电容有哪些优势?
国巨陶瓷贴片电容有哪些优势,YAGEO贴片电容(MLCC)是一种电容材质。贴片电容全称为:多层(积层,叠层)片式陶瓷电容器,也称为贴片电容,片容。陶瓷贴片电容相比其它电容占据较大优势,由于体积小作用强大,较多的应用到精密电子产品
引领射频工程师教育,鼎阳科技发布SVA-TB01射频教学套件
2023年12月28日,鼎阳科技正式发布SVA-TB01射频实验教学板。 SVA-TB01采用模块化设计,使用者可以自由组合电路,适用于射频工程师入门学习和高校射频通信课程实验。 当前高校电子技术
发表于 01-03 14:02
•373次阅读
鼎阳科技推出SVA-TB01射频实验教学板
2023年12月28日,鼎阳科技正式发布SVA-TB01射频实验教学板。SVA-TB01采用模块化设计,使用者可以自由组合电路,适用于射频工程师入门学习和高校射频通信课程实验。
sva_assertion: 15道助力飞升的断言练习
每一拍都要检查,因此不需要前置蕴含算子了(蕴含算子即|->和|=>);均有且只有1比特信号有效意味着我们需要使用系统函数$onehot();复位之后检查我们需要用到disable iff语句;
云视频监控有哪些优势?
“云”只是一个可以上传摄像机镜头的远程服务器,物理或本地录像机的维护和升级成本很高。切换到云可以帮助降低与存储摄像机网络记录的镜头相关的成本,并开放我们以前无法访问的大量功能。下面,小编详细给大家分享一下云视频监控有哪些优势?
使用单相变频电源有哪些优势呢?
使用单相变频电源有哪些优势呢? 单相变频电源是一种常见的电源设备,它通过控制频率来调整输出电压,具有以下几个优势: 1. 节能高效:单相变频电源采用先进的无感应功率调节技术,能够实现高效能转换。它可
评论