From: Eddie Hung Date: Fri, 23 Aug 2019 16:11:04 +0000 (-0700) Subject: Blocking assignment X-Git-Tag: working-ls180~1095^2~3 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=10c41a5cf51427d96f465113decb752e501e926e;p=yosys.git Blocking assignment --- diff --git a/tests/sat/initval.v b/tests/sat/initval.v index d46ccae48..fcec9dd8c 100644 --- a/tests/sat/initval.v +++ b/tests/sat/initval.v @@ -13,7 +13,7 @@ module test(input clk, input [3:0] bar, output [3:0] foo); last_bar <= bar; always @* - asdf[2:0] <= 3'b111; + asdf[2:0] = 3'b111; assert property (foo == {last_bar[3:2], bar[1:0]}); endmodule