Spartan 3A DSP 3400比较器合成不正确

在Spartan 3A-3400 DSP中没有正确合成的19位比较器，我遇到了合成问题。
当19位计数器等于19'd 24576时，我想要一个1位信号脉冲。但是在硬件中，当计数器等于19'd 57344时，脉冲会触发。
这在Isim的行为模拟中不会发生。
仅限实际硬件。
在二进制中，24576是100,000110000000000000和57344是0001110000000000000。
我尝试用几种不同的方式编写代码。
assign pulse =（counter == 19'd24576）;
或同步方法
reg pulse = 1'b0;
永远@（posedge clk）
开始
if（counter == 19'd24576）

pulse 以下为原文

I'm encountering a synthesis problem with a 19 bit comparator not being synthesized correctly in the Spartan 3A-3400 DSP. I want a 1 bit signal to pulse when a 19 bit counter is equal to 19'd 24576. However in hardware the pulse is firing when the counter is equal to 19'd 57344 instead. This does not occur in behavioral simulation in Isim. Only on the actual hardware. In binary, 24576 is 0000110000000000000 and 57344 is 0001110000000000000.

I've tried writing the code a few different ways.

assign pulse  = (counter == 19'd24576);

or a synchronous approach


reg pulse = 1'b0;
always @(posedge clk)
begin

if (counter == 19'd24576)
pulse <= 1'b1;
else
pulse <= 1'b0;
end


Interestingly enough if I create a state machine and use 'less than' compare instead of equal compare (a state that waits while the counter < 24576, and then fires the pulse), it works fine. But this approach is not  so practical because I need pulses at several multiples of 24576. I strongly prefer to figure out why the equal compare is behaving like this.

Any ideas appreciated. Thanks.