diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-02 13:55:51 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-02 13:55:51 +0200 |
| commit | d2eba7631ff8bfb897db72f787ca365003176ca1 (patch) | |
| tree | a92a035176090941205a653bbe3b93c50073f2e8 /examples/smtbmc/demo1.v | |
| parent | 2ee9bf10d029396ba03b1d3023f15ff585e26bcb (diff) | |
| parent | 068d5bc02ffea9ba627bbf7151fdb36500eae0f2 (diff) | |
| download | yosys-d2eba7631ff8bfb897db72f787ca365003176ca1.tar.gz yosys-d2eba7631ff8bfb897db72f787ca365003176ca1.tar.bz2 yosys-d2eba7631ff8bfb897db72f787ca365003176ca1.zip | |
Merge branch 'smtbmc-kmanfi'
Diffstat (limited to 'examples/smtbmc/demo1.v')
| -rw-r--r-- | examples/smtbmc/demo1.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/smtbmc/demo1.v b/examples/smtbmc/demo1.v index d9be41513..567dde148 100644 --- a/examples/smtbmc/demo1.v +++ b/examples/smtbmc/demo1.v @@ -9,7 +9,7 @@ module demo1(input clk, input addtwo, output iseven); `ifdef FORMAL assert property (cnt != 15); - initial assume (!cnt[3] && !cnt[0]); + initial assume (!cnt[2]); `endif endmodule |