diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-07-27 11:42:05 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-07-27 11:42:05 +0200 |
commit | b24f73775983eb7a30d50f608ccc8702e54c57c3 (patch) | |
tree | 1ac774a5810f821740f6c721e348a34b8c9408ac /tests/sva/basic05.sv | |
parent | 90d8329f642e710e8d4ce358cfb9543b85bcd822 (diff) | |
download | yosys-b24f73775983eb7a30d50f608ccc8702e54c57c3.tar.gz yosys-b24f73775983eb7a30d50f608ccc8702e54c57c3.tar.bz2 yosys-b24f73775983eb7a30d50f608ccc8702e54c57c3.zip |
Improve SVA tests, add Makefile and scripts
Diffstat (limited to 'tests/sva/basic05.sv')
-rw-r--r-- | tests/sva/basic05.sv | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/sva/basic05.sv b/tests/sva/basic05.sv index 03854aaac..816ee1da7 100644 --- a/tests/sva/basic05.sv +++ b/tests/sva/basic05.sv @@ -11,5 +11,9 @@ module top (input logic clock, ctrl); assign ready = uut.ready; a_rw: assert property ( @(posedge clock) !(read && write) ); +`ifdef FAIL a_wr: assert property ( @(posedge clock) write |-> ready ); +`else + a_wr: assert property ( @(posedge clock) write |=> ready ); +`endif endmodule |