verilog: Al mirar el código, encontré un problema: al extender dos números de 12 bits a una suma de 13 bits, ¿por qué no debería haber un complemento 0 antes del complemento más alto?

El tipo de registro predeterminado no está firmado, por lo que el programador debe determinar si la variable es potencialmente negativa. Si es posible, se requiere extensión de señal. Esto es lo que ves.

Si se declara como registro con signo, no es necesario expandirlo, solo asegúrese de que la cantidad de bits en la variable asignada sea suficiente.