3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-09 20:50:51 +00:00

Sign extend port connections where necessary

- Signed cell outputs are sign extended when bound to larger wires
- Signed connections are sign extended when bound to larger cell inputs
- Sign extension is performed in hierarchy and flatten phases
- genrtlil indirects signed constants through signed wires
- Other phases producing RTLIL may need to be updated to preserve
  signedness information
- Resolves #1418
- Resolves #2265
This commit is contained in:
Zachary Snow 2020-12-18 12:59:08 -07:00
parent 40e35993af
commit 0d8e5d965f
5 changed files with 132 additions and 5 deletions

View file

@ -0,0 +1,22 @@
read_verilog port_sign_extend.v
hierarchy
flatten
equiv_make ref act equiv
equiv_simple
equiv_status -assert
delete
read_verilog port_sign_extend.v
flatten
equiv_make ref act equiv
equiv_simple
equiv_status -assert
delete
read_verilog port_sign_extend.v
hierarchy
equiv_make ref act equiv
prep -flatten -top equiv
equiv_status -assert