微波EDA网,见证研发工程师的成长!
首页 > 研发问答 > 微电子和IC设计 > IC验证交流 > 在用 assertion 的时候遇到的一个问题

在用 assertion 的时候遇到的一个问题

时间:10-02 整理:3721RD 点击:
信号a 是一个一拍的信号,可能每隔 50 个 ,100个,200 个 clk来一个脉冲,具体由信号b 的值决定,在仿真中 信号 b 的值是会变的,所有情形都会遍历到 。
用assertion 检验信号 a 的 上升沿 的周期,但是在每次b 的值变化的时候,检测到的相隔的两个信号a 的间隔就不准确了。 怎么能做到每次只在b信号不变的时候检测a 的周期,每次改变信号b 的时候不去做检测。 想用throughout 或者$stable ,但是都失败了,有谁能有好的办法吗?

自己搞定了

Copyright © 2017-2020 微波EDA网 版权所有

网站地图

Top