diff options
Diffstat (limited to 'tests/sva/basic03.sv')
| -rw-r--r-- | tests/sva/basic03.sv | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tests/sva/basic03.sv b/tests/sva/basic03.sv index a15f3f3a4..8018de4ca 100644 --- a/tests/sva/basic03.sv +++ b/tests/sva/basic03.sv @@ -4,7 +4,9 @@ module top (input logic clk, input logic selA, selB, QA, QB, output logic Q); if (selB) Q <= QB; end - check_selA: assert property ( @(posedge clk) selA|=> Q == $past(QA) ); - check_selB: assert property ( @(posedge clk) selB|=> Q == $past(QB) ); - assume_not_11: assume property ( @(posedge clk) !(selA& selB) ); + check_selA: assert property ( @(posedge clk) selA |=> Q == $past(QA) ); + check_selB: assert property ( @(posedge clk) selB |=> Q == $past(QB) ); +`ifndef FAIL + assume_not_11: assume property ( @(posedge clk) !(selA & selB) ); +`endif endmodule |