3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 03:16:22 +00:00
yosys/tests/verilog/signed_concat.ys
Zachary Snow 83cd19678e verilog: indirect AST_CONCAT and AST_TO_UNSIGNED port connections
- AST_CONCAT and AST_TO_UNSIGNED are always unsigned, but may generate
  RTLIL that exclusively reference a signed wire.
- AST_CONCAT may also contain a memory write.
2026-01-13 16:42:09 +01:00

7 lines
118 B
Text

read_verilog signed_concat.v
hierarchy
proc
flatten gate
equiv_make gold gate equiv
equiv_simple
equiv_status -assert