diff --git a/tests/various/cutpoint_blackbox.ys b/tests/various/cutpoint_blackbox.ys index 61001d6b6..1ba9a95df 100644 --- a/tests/various/cutpoint_blackbox.ys +++ b/tests/various/cutpoint_blackbox.ys @@ -87,3 +87,27 @@ end EOT cutpoint -blackbox check -assert + +# also concatenated signals, and signals between two inout ports +design -load hier +delete top =bb +read_verilog << EOT +module top(input [1:0] a, b, output [1:0] o); + wire [1:0] c, d, e; + bb #(.SOME_PARAM(1)) bb1 (.a ({a[0], e[1]}), .b (b), .o (c)); + bb #(.SOME_PARAM(2)) bb2 (.a ({c[1], a[0]}), .b (c), .o (d)); + wb wb1 (.a (a), .b (b), .o (e)); + some_mod some_inst (.a (c), .b (d), .c (e), .o (o)); +endmodule +EOT +read_rtlil << EOT +attribute \blackbox 1 +module \bb + parameter \SOME_PARAM 0 + wire inout 3 width 2 \o + wire inout 2 width 2 \b + wire inout 1 width 2 \a +end +EOT +cutpoint -blackbox +check -assert