Асинхронный арбитр

[vak]

Столкнулся с необходимостью изобразить на FPGA асинхронный арбитр. Это такая схема, которая определяет, который из двух сигналов поступил раньше. Для ASIC задача решается так:

Выглядит как простая цифровая схема, но на самом деле здесь решается нетривиальная проблема фильтраци метастабильного состояния, аналоговая по своей сути. Об эту тему много копий сломано и научных статей написано. Для FPGA качественного решения не существует. В идеале изготовители FPGA должны бы закладывать в архитектуру чипа некоторое количество модулей-арбитров. Увы, в нынешних чипах от Xilinx и Altera их нет, поэтому приходится измышлять решения "на коленке". Пока думаю обойтись двумя вентилями NAND2, а в качестве фильтра метастабильности задействовать пару MUX7. По идее, всё это должно поместиться в один слайс. Еще можно попробовать вместо NAND2 использовать штатную RS-защелку типа FDCPE. У неё есть асинхронные входы для сброса и установки. Да и время выхода из метастабильного состояния должно получиться поменьше.

Comments

[spamsink.livejournal.com]

Какое у этой штуки определение на поведенческом уровне? Например, в виде UDP?

[vak]

Примерно так.

module MUTEX (input inA, input inB, output outA, output outB);
  UDP_mutex_top_half  #(`gate_delay, `gate_delay) M1(outA, inA, inB, outB);
  UDP_mutex_bottom_half  #(`gate_delay, `gate_delay) M2(outB, inB, inA, outA);
endmodule

primitive UDP_mutex_top_half(output G, input R1, input R2, input G2state);
   table
   //  R1   R2   G2state   G
       0     ?     ?   :   0;
       1     ?     1   :   0;
       1     ?     0   :   1;
       1     ?     x   :   1;
       x     x     x   :   x;
   endtable
endprimitive

primitive UDP_mutex_bottom_half(output reg G, input R1, input R2, input G2state);
   table
   //  R1   R2   G2state  Gold  G
       0     ?     ?      : ? :   0;
       1     ?     1      : ? :   0;
       1     0     0      : ? :   1;
       1     x     0      : ? :   1;
       1     ?     x      : ? :   1;
       1     1     0      : 0 :   0;
       1     1     0      : 1 :   1;
       x     x     x      : ? :   x;
   endtable
endprimitive

[spamsink.livejournal.com]

По идее, одного LUT6_2 с выходами, завернутыми на себя, должно хватить.

[vak]

И на выходе не будет метастабильного состояния?

[spamsink.livejournal.com]

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

Идея в том, чтобы как можно сильнее приблизиться к атомарной конструкции. Чем больше элементов, тем больше связей, и тем больше места/времени для осцилляции. А LUT6_2 с фидбеком, который гарантированно будет проведен внутри слайса - это "почти" атомарный элемент-арбитр.