diff --git a/README.md b/README.md index 92a3f74..547739e 100644 --- a/README.md +++ b/README.md @@ -2718,12 +2718,12 @@ Warning: "ConflictFree.bsv", line 29, column 9: (G0021) ``` x=1 y=0 z=0 -x=2 y=1 z=2 -x=3 y=2 z=4 -x=4 y=3 z=6 -x=4 y=4 z=8 -x=3 y=5 z=10 -x=2 y=6 z=12 +x=2 y=1 z=0 +x=3 y=2 z=0 +x=4 y=3 z=0 +x=4 y=4 z=0 +x=4 y=5 z=0 +x=4 y=6 z=0 ``` 以上编译时 Warning 我们很熟悉,这是因为(之前讲过的)不能用 if 语句影响冲突的判断,编译器认为规则 `test1` 和 `test2` 在每周期都会发生冲突,在自作主张认为 `test1` 比 `test2` 紧急后,考虑到 `test1` **确实每周期都会激活** ,所以直接让 `test2` 永远都不激活,这是我们不想要的结果。