diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-06-12 11:54:20 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-06-12 11:54:20 +0200 |
commit | 482d9208aa9dacb7afe21f08c882d4881581013a (patch) | |
tree | a5a4d409f7d84cc2dc6283dcf45df3aea02cb061 /tests/sat/asserts.ys | |
parent | 9a6cd64fc2ca46c9aed1bd03b6898c7734420c53 (diff) |
Added read_verilog -sv options, added support for bit, logic,
allways_ff, always_comb, and always_latch
Diffstat (limited to 'tests/sat/asserts.ys')
-rw-r--r-- | tests/sat/asserts.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/sat/asserts.ys b/tests/sat/asserts.ys index de5e7c9a..d8f99492 100644 --- a/tests/sat/asserts.ys +++ b/tests/sat/asserts.ys @@ -1,3 +1,3 @@ -read_verilog asserts.v +read_verilog -sv asserts.v hierarchy; proc; opt sat -verify -seq 1 -set-at 1 rst 1 -tempinduct -prove-asserts |