w*********s
发帖数: 277 | 1 property xxx;
@(posedge clk) a ##1 b;
endproperty : xxx
property yyy;
@(posedge clk) $rose(a) ##1 $rose(b);
endproperty : yyy
请问什么时候用edge detection的function such as $rose $fell
什么时候用level detection呢？
貌似两者sampling的机制都是一样的。
初学者，目前分不清楚他们之间的区别，请高手指教！
包子伺候！
谢谢！ |
w*********s
发帖数: 277 | 2 再补充一下
信号a和b都是one clock cycle pulse
【在 w*********s 的大作中提到】
: property xxx;
: @(posedge clk) a ##1 b;
: endproperty : xxx
: property yyy;
: @(posedge clk) $rose(a) ##1 $rose(b);
: endproperty : yyy
: 请问什么时候用edge detection的function such as $rose $fell
: 什么时候用level detection呢？
: 貌似两者sampling的机制都是一样的。
: 初学者，目前分不清楚他们之间的区别，请高手指教！
|
M***y
发帖数: 2252 | 3 第一个里面好像没有$rose这个动作吧，第二个必须是a之前为0，然后变1
可以手动设置个波形跑跑看
【在 w*********s 的大作中提到】
: property xxx;
: @(posedge clk) a ##1 b;
: endproperty : xxx
: property yyy;
: @(posedge clk) $rose(a) ##1 $rose(b);
: endproperty : yyy
: 请问什么时候用edge detection的function such as $rose $fell
: 什么时候用level detection呢？
: 貌似两者sampling的机制都是一样的。
: 初学者，目前分不清楚他们之间的区别，请高手指教！
|
w*********s
发帖数: 277 | 4 谢谢，我明白了！
【在 M***y 的大作中提到】
: 第一个里面好像没有$rose这个动作吧，第二个必须是a之前为0，然后变1
: 可以手动设置个波形跑跑看
|
w*********s
发帖数: 277 | 5 双簧包已发，请查收！
【在 M***y 的大作中提到】
: 第一个里面好像没有$rose这个动作吧，第二个必须是a之前为0，然后变1
: 可以手动设置个波形跑跑看
|
s*****y
发帖数: 1974 | 6 搭车问一个问题啊
如果想学systemverilog有什么免费的软件不？
小公司，没有钱买license
【在 w*********s 的大作中提到】
: property xxx;
: @(posedge clk) a ##1 b;
: endproperty : xxx
: property yyy;
: @(posedge clk) $rose(a) ##1 $rose(b);
: endproperty : yyy
: 请问什么时候用edge detection的function such as $rose $fell
: 什么时候用level detection呢？
: 貌似两者sampling的机制都是一样的。
: 初学者，目前分不清楚他们之间的区别，请高手指教！
|
