mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-25 00:22:34 +00:00
Merge branch 'YosysHQ:main' into main
This commit is contained in:
commit
e3a6b920d4
8 changed files with 79 additions and 29 deletions
10
tests/aiger/io.ys
Normal file
10
tests/aiger/io.ys
Normal file
|
|
@ -0,0 +1,10 @@
|
|||
read_verilog <<EOF
|
||||
module bad(
|
||||
input in,
|
||||
output reg [1:0] out
|
||||
);
|
||||
assign out = {in, 1'b0};
|
||||
endmodule
|
||||
EOF
|
||||
proc
|
||||
write_aiger -vmap /dev/null /dev/null
|
||||
13
tests/svtypes/typedef_struct_global.ys
Normal file
13
tests/svtypes/typedef_struct_global.ys
Normal file
|
|
@ -0,0 +1,13 @@
|
|||
read_verilog -sv << EOF
|
||||
typedef struct packed {
|
||||
logic y;
|
||||
logic x;
|
||||
} Vec_2_B;
|
||||
|
||||
module top;
|
||||
|
||||
Vec_2_B two_dee;
|
||||
wire foo = two_dee.x;
|
||||
|
||||
endmodule
|
||||
EOF
|
||||
Loading…
Add table
Add a link
Reference in a new issue