Skip to content

Y
yosys-tests
Commit 1a6c428c by Miodrag Milanovic
Options

Test fix

parent 9514dd1d
Showing with 2 additions and 2 deletions
backends/write_firrtl/testbench.v
...@@ -32,6 +32,6 @@ module testbench; ...@@ -32,6 +32,6 @@ module testbench;
patt_B <= in[7] | in[1:2]; patt_B <= in[7] | in[1:2];
end end
assert_comb out_test(.A(patt_B), .B(B)); assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
endmodule endmodule
backends/write_ilang/testbench.v
...@@ -32,6 +32,6 @@ module testbench; ...@@ -32,6 +32,6 @@ module testbench;
patt_B <= in[7] | in[1:2]; patt_B <= in[7] | in[1:2];
end end
assert_comb out_test(.A(patt_B), .B(B)); assert_tri out_test(.A(patt_B), .B(B), .en(1'b1));
endmodule endmodule
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment