Интересную вещь рассказал nukeykt с эмураши.
Он сохраняет в верилоге оригинальный дизайн, а асинхронные латчи эмулирует так:

Код:
always @(posedge MCLK)
begin
  if (CLK)
    x <= a;
end
Т.е. MCLK (мастерклок) превышает CLK в разы.