mirror of
https://github.com/YosysHQ/yosys
synced 2025-09-05 17:47:44 +00:00
cutpoint_blackbox.ys: Extra edge case
This commit is contained in:
parent
4ac100fe13
commit
af7d1d3f4f
1 changed files with 24 additions and 0 deletions
|
@ -87,3 +87,27 @@ end
|
||||||
EOT
|
EOT
|
||||||
cutpoint -blackbox
|
cutpoint -blackbox
|
||||||
check -assert
|
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
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue