mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-13 04:28:18 +00:00
Blocking assignment
This commit is contained in:
parent
51ffb093b5
commit
10c41a5cf5
|
@ -13,7 +13,7 @@ module test(input clk, input [3:0] bar, output [3:0] foo);
|
||||||
last_bar <= bar;
|
last_bar <= bar;
|
||||||
|
|
||||||
always @*
|
always @*
|
||||||
asdf[2:0] <= 3'b111;
|
asdf[2:0] = 3'b111;
|
||||||
|
|
||||||
assert property (foo == {last_bar[3:2], bar[1:0]});
|
assert property (foo == {last_bar[3:2], bar[1:0]});
|
||||||
endmodule
|
endmodule
|
||||||
|
|
Loading…
Reference in a new issue