Си(++): unsigned short a = ~0; unsigned char b = 0; bool c = a >= b - 1; c истинно. Верилог: wire [15:0] a = ~0; wire [7:0] b = 0; wire c = a >= b - 1; с ложно. Какой результат вам больше нравится?
