нужен совет по реализации Asynchronous FIFO Опции

[lutik]

Доброго дня уважаемым.
Трабла возникла с реализацией Asynchronous FIFO, такого рода:
особенностью является то, что жить будет оно в xc2s100-5 с высокой для ентого чипа частотой - 108MHz по записи и не особо высокой - 25MHz по чтению.
Флаги Пуст/Полон выставляю по следующим условиям
empty <= '1' when (rptr = wptr) else '0';
full <= '1' when ( (wptr - rptr) >= (DEPTH -2) ) else '0';
и далее перевожу их в каждый клок домен отдельно.
empty - в домен чтения, full - в домен записи.

в симуляции все нормально, но синтезатор, ЗАРАЗА, убивает всю времянку со стороны записи. Оно и понятно - сумматор и сравнение в комдинаторике дело не быстрое.

Може кто присоветует другие алгоритмы формирования флагов или ваще как-то по другому fifo это сделать а то замучился совсем.

PS. варианты со счетчиками в коде Грея не предлагать - спартан медленный и 8-ми разрядный счетчик Грея сам по себе не синтезируется на нужную времянку

[USTAS]

Сравнение двух указателей в FIFO можно осуществлять на двунаправленном счетчике, но для этого необходимо события записи и чтения перевести на одну тактовую.

Тогда:

WNR = ( WR & ~RD); // только запись
RNW = (~WR & RD); // только чтение
EMPTY = ~noEMPTY; // флаг "FIFO пусто"

always @ (posedge WCLK)
begin
if (FLUSH) COUNT = 0; // очистка FIFO
else case (1'b1)
WNR: COUNT = COUNT + 1;
RNW: COUNT = COUNT - 1;
endcase
end

always @ (posedge WCLK)
begin
if (FLUSH) noEMPTY = 0;
else if ((COUNT == 0) & WNR) noEMPTY = 1;
else if ((COUNT == 1) & RNW) noEMPTY = 0;
end

always @ (posedge WCLK)
begin
if (FLUSH) FULL = 0;
else if ((COUNT == (DEPTH - 1)) & WNR) FULL = 1;
else if ((COUNT == (DEPTH - 0)) & RNW) FULL = 0;
end