After Yosys generates the netlist file and re-simulates, the result is always wrong？

Hi, I used Yosys to generate the netlist file. However, after generating the netlist file and re-simulating, the result is always wrong. Is it not possible to have addition operations in the code?