From c1745970147bb17d65943297c8b9369cacec2bd3 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Tue, 3 Oct 2023 11:46:43 +0200 Subject: [PATCH] Fix sva_value_change_changed test for updated verific --- tests/sva/sva_value_change_changed.sv | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tests/sva/sva_value_change_changed.sv b/tests/sva/sva_value_change_changed.sv index 8f3a05a2f2e..3ce2078500c 100644 --- a/tests/sva/sva_value_change_changed.sv +++ b/tests/sva/sva_value_change_changed.sv @@ -8,9 +8,11 @@ module top ( $changed(b) ); + wire x = 'x; + `ifndef FAIL assume property ( - b !== 'x ##1 $changed(b) + b !== x ##1 $changed(b) ); `endif