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