mirror of
https://github.com/YosysHQ/yosys
synced 2026-06-03 07:37:57 +00:00
Add test
This commit is contained in:
parent
90673cb0a2
commit
491276983e
1 changed files with 31 additions and 0 deletions
31
tests/techmap/module_not_derived.ys
Normal file
31
tests/techmap/module_not_derived.ys
Normal file
|
|
@ -0,0 +1,31 @@
|
||||||
|
# Test 1: internal cells from alumacc/techmap must not keep module_not_derived.
|
||||||
|
read_verilog <<EOF_VERILOG
|
||||||
|
module top(a, b, y);
|
||||||
|
input wire [7:0] a;
|
||||||
|
input wire [7:0] b;
|
||||||
|
output wire [7:0] y;
|
||||||
|
assign y = a + b;
|
||||||
|
endmodule
|
||||||
|
EOF_VERILOG
|
||||||
|
|
||||||
|
prep
|
||||||
|
alumacc
|
||||||
|
techmap -max_iter 1
|
||||||
|
|
||||||
|
select -assert-any t:$lcu
|
||||||
|
select -assert-count 0 t:$lcu a:module_not_derived %i
|
||||||
|
|
||||||
|
design -reset
|
||||||
|
# Test 2: public module instances should still keep module_not_derived.
|
||||||
|
read_verilog <<EOF_VERILOG
|
||||||
|
module mycell(input a, output y);
|
||||||
|
assign y = a;
|
||||||
|
endmodule
|
||||||
|
|
||||||
|
module top(input a, output y);
|
||||||
|
mycell u0(.a(a), .y(y));
|
||||||
|
endmodule
|
||||||
|
EOF_VERILOG
|
||||||
|
|
||||||
|
hierarchy -top top
|
||||||
|
select -assert-any t:mycell a:module_not_derived %i
|
||||||
Loading…
Add table
Add a link
Reference in a new issue