SVA学习|04.边沿敏感$rose、$fell、$stable用法
2023-02-19 12:29:09 时间
SVA内嵌了三个检测边沿敏感信号的函数,可以很方便的监测从一个时钟周期到另一个时钟周期,信号的变化。
- $rose,表示信号或表达式变为高电平时返回为真。
sequence s1;
@(posedge clk) $rose(fish);
endsequence
序列s1检查,在每一个时钟上升沿,信号fish都要跳变为高电平,即1,才返回真,断言成功,否则,断言失败。
注意:
- $rose监测的是“跳变”的情况,如果不发生跳变,一直为高电平,断言失败;
- 断言的发生会延迟一个时钟,比如信号fish在第1个时钟上升沿发生跳变,在第2个时钟上升沿才会断言成功;
- fell, 和rose刚好相反,监测信号从高电平跳变为低电平的行为
sequence s2;
@ (posedge clk) $fell(fish);
endsequence
序列s2检查,在每一个时钟上升沿,信号fish都要跳变为低电平,即0,才返回真,断言成功,否则,断言失败。
- $stable,信号或者表达式不发生变化时返回为真,断言成功。
sequence s3;
@ (posedge clk) $stable (fish);
endsequence
序列s3检查,在每一个时钟上升沿,信号fish保持不变,才返回真,断言成功,否则,断言失败.
好了,今天的学习分享就到这里了,个人愚见,希望对你的学习有一点帮助,如有错误也欢迎批评指正。持续更新,欢迎关注。觉得有帮助的朋友,希望能够点个赞鼓励一下!!你的每个鼓励都是我持续创作的动力!
相关文章
- Python 面向对象编程详解
- PHP 精度计算问题(精确算法)
- 面向设计师、开发者的开源免费图标库
- 如何找回宝塔面板登录地址、账号和密码
- Lua连续教程之Lua面向对象编程
- 什么年代还在用传统 Pjax? —— 自定义 Pjax 提升页面加载速度
- 浏览器工作原理和实践(一)——浏览器
- Web优化躬行记(4)——用户体验和工具
- Web优化躬行记(3)——图像和网络
- Web优化躬行记(1)——CSS
- 数据结构与算法之美(三)——算法
- 数据结构与算法之美(二)——数据结构
- 数据结构与算法之美(一)——入门
- 面试前的准备,笔试练手感
- 年中佛系求职记录
- HTML躬行记(1)——SVG
- 前端利器躬行记(7)——自制脚手架
- 编译基础理论
- CSS躬行记(10)——CSS方法论
- CSS躬行记(9)——网格布局