FIFO（First-In-First-Out，先入先出）是一种的存储器类型，在 FPGA 开发中通常用于数据缓存、位宽转换或者跨时钟域（多 bit 数据流）。在使用异步 FIFO 时，应注意复位信号是否遵循相关要求和规范，避免数据丢失或损坏。本文主要介绍 Xilinx FPGA 对异步 FIFO 复位的时序要求，并参考 IP 核示例工程设计异步 FIFO 的复位逻辑。

目录

1 复位类型

2 异步 FIFO 的复位

---

1 复位类型

        Xilinx FIFO Generator 提供了复位端口，用于复位计数器与输出寄存器。有两种复位的类型：同步复位（Synchronous Reset）和异步复位（Asynchronous Reset）。

        对于同步复位方式，由于复位信号已经是同步的，因此无需设计额外的同步逻辑。

The asynchronous reset (rst) input asynchronously resets all counters, output registers, and memories when asserted. When reset is implemented, it is synchronized internally to the core with each respective clock domain for setting the internal logic of the FIFO to a known state. This synchronization logic allows for proper timing of the reset logic within the core to avoid glitches and metastable behavior.

        对于异步复位方式，复位信号会分别被同步到读/写时钟域，同步逻辑确保 FIFO 正确复位，避免“毛刺”或者亚稳态。

        

        异步复位应遵循以下 2 个设计规则：

（1）复位必须在所有时钟有效时进行，否则 FIFO 的状态无法预测；

（2）复位信号的脉宽至少为 3 个慢时钟周期。

        开启 Safety Circuit 的 FIFO，复位释放之后需至少等待 60 个慢时钟周期。

        未开启 Safety Circuit 的 FIFO，复位释放之后需至少等待 30 个慢时钟周期。

2 异步 FIFO 的复位

        打开 IP 核自带的 Example Design，参考激励文件异步 FIFO 的复位逻辑。

        在 reset 释放之后 50 个写周期，释放 reset_ext 信号。reset 连接到 FIFO 的异步复位端口，reset_ext 则用于读/写控制逻辑的复位。

        在 Example Design 的顶层文件中，将 reset_ext 信号分别同步到读/写时钟域。这里不知道是不是参考工程的错误，rst_async_rd1 ~ rst_async_rd3 使用了同步复位，同步释放的方式。

        以下是根据参考工程，自己设计的异步 FIFO 的复位控制逻辑。

library ieee;
use ieee.std_logic_1164.all;
use ieee.std_logic_arith.all;
use ieee.std_logic_unsigned.all;entity eth_rx_adjust isport(-- System levelnRst                : in std_logic;sysclk              : in std_logic;-- GMII IN data port--gmii_rxd_rxctl    : in std_logic_vector(9 downto 0);--gmii_rxc          : in std_logic;eth_phy_rxd         : in std_logic_vector(7 downto 0);eth_phy_rxdv        : in std_logic;eth_phy_rxc         : in std_logic;-- eth_rx dataeth_rxd_sys         : out std_logic_vector(7 downto 0);eth_rxdv_sys        : out std_logic);
end entity;
architecture behav of eth_rx_adjust is
-- internal component and signal declarations
component fifo_8bit_2048 isport(din                 : in std_logic_vector(7 downto 0);wr_en               : in std_logic;wr_clk              : in std_logic;full                : out std_logic;dout                : out std_logic_vector(7 downto 0);rd_en               : in std_logic;rd_clk              : in std_logic;empty               : out std_logic;rst                 : in std_logic;wr_data_count       : out std_logic_vector(10 downto 0);rd_data_count       : out std_logic_vector(10 downto 0));
end component;signal reset              : std_logic := '1';
signal reset_cnt          : std_logic_vector(5 downto 0) := (others => '0');
signal reset_ext_cnt      : std_logic_vector(5 downto 0) := (others => '0');
signal RESET_EXT          : std_logic := '1';
signal rst_async_wr1      : std_logic := '1';
signal rst_async_wr2      : std_logic := '1';
signal rst_async_wr3      : std_logic := '1';
signal rst_async_rd1      : std_logic := '1';
signal rst_async_rd2      : std_logic := '1';
signal rst_async_rd3      : std_logic := '1';
signal rst_int_wr         : std_logic := '1';
signal rst_int_rd         : std_logic := '1';signal eth_fifo_wdata     : std_logic_vector(7 downto 0);
signal eth_fifo_wrreq     : std_logic;
signal eth_fifo_empty     : std_logic;
signal eth_fifo_rcnt      : std_logic_vector(10 downto 0);
signal eth_fifo_rdreq     : std_logic;
signal eth_fifo_rdata     : std_logic_vector(7 downto 0);
signal eth_fifo_rdvld     : std_logic;attribute ASYNC_REG: string;
attribute ASYNC_REG of rst_async_wr1: signal is "true";
attribute ASYNC_REG of rst_async_wr2: signal is "true";
attribute ASYNC_REG of rst_async_wr3: signal is "true";attribute ASYNC_REG of rst_async_rd1: signal is "true";
attribute ASYNC_REG of rst_async_rd2: signal is "true";
attribute ASYNC_REG of rst_async_rd3: signal is "true";---------------------------------------------------------
begin
---------------------------------------------------------process(nRst,eth_phy_rxc) 
beginif nRst = '0' thenreset_cnt <= "000000";elsif rising_edge(eth_phy_rxc) thenif reset_cnt < "001000" thenreset_cnt <= reset_cnt + '1';elsereset_cnt <= reset_cnt;end if;end if;
end process;process(nRst,eth_phy_rxc) 
beginif nRst = '0' thenreset <= '1';elsif rising_edge(eth_phy_rxc) thenif reset_cnt < "001000" thenreset <= '1';elsereset <= '0';end if;end if;
end process;process(reset,eth_phy_rxc) 
beginif reset = '1' thenreset_ext_cnt <= "000000";elsif rising_edge(eth_phy_rxc) thenif reset_ext_cnt < "110010" thenreset_ext_cnt <= reset_ext_cnt + '1';elsereset_ext_cnt <= reset_ext_cnt;end if;end if;
end process;process(reset,eth_phy_rxc) 
beginif reset = '1' thenRESET_EXT <= '1';elsif rising_edge(eth_phy_rxc) thenif reset_ext_cnt < "110010" thenRESET_EXT <= '1';elseRESET_EXT <= '0';end if;end if;
end process;-- Asynchronous reset, synchronous release for rst_async_wr1, rst_async_wr2, rst_async_wr3
process(RESET_EXT,eth_phy_rxc) 
beginif RESET_EXT = '1' thenrst_async_wr1 <= '1';rst_async_wr2 <= '1';rst_async_wr3 <= '1';elsif rising_edge(eth_phy_rxc) thenrst_async_wr1 <= RESET_EXT;rst_async_wr2 <= rst_async_wr1;rst_async_wr3 <= rst_async_wr2;end if;
end process;-- Asynchronous reset, synchronous release for rst_async_rd1, rst_async_rd2, rst_async_rd3
process(RESET_EXT,sysclk) 
beginif RESET_EXT = '1' thenrst_async_rd1 <= '1';rst_async_rd2 <= '1';rst_async_rd3 <= '1';elsif rising_edge(sysclk) thenrst_async_rd1 <= RESET_EXT;rst_async_rd2 <= rst_async_rd1;rst_async_rd3 <= rst_async_rd2;end if;
end process;rst_int_wr <= rst_async_wr3;
rst_int_rd <= rst_async_rd3;--===============================================================
-- eth_fifo_inst
eth_fifo_instx: component fifo_8bit_2048
port map(din             => eth_fifo_wdata     , -- in std_logic_vector(7 downto 0)wr_en           => eth_fifo_wrreq     , -- in std_logicwr_clk          => eth_phy_rxc        , -- in std_logicfull            => open               , -- out std_logicdout            => eth_fifo_rdata     , -- out std_logic_vector(7 downto 0)rd_en           => eth_fifo_rdreq     , -- in std_logicrd_clk          => sysclk             , -- in std_logicempty           => eth_fifo_empty     , -- out std_logicrst             => reset              , -- in std_logicwr_data_count   => open               , -- out std_logic_vector(10 downto 0)rd_data_count   => eth_fifo_rcnt        -- out std_logic_vector(10 downto 0)
);process(rst_int_wr,eth_phy_rxc) 
beginif rst_int_wr = '1' theneth_fifo_wdata <= (others => '0');eth_fifo_wrreq <= '0';elsif rising_edge(eth_phy_rxc) theneth_fifo_wdata <= eth_phy_rxd;eth_fifo_wrreq <= eth_phy_rxdv;end if;
end process;process(rst_int_rd,sysclk) 
beginif rst_int_rd = '1' theneth_fifo_rdreq <= '0';eth_fifo_rdvld <= '0';elsif rising_edge(sysclk) thenif eth_fifo_rcnt > 6 theneth_fifo_rdreq <= '1';elsif eth_fifo_rcnt = 1 theneth_fifo_rdreq <= '0';end if;eth_fifo_rdvld <= eth_fifo_rdreq;end if;
end process;process(rst_int_rd,sysclk) 
beginif rst_int_rd = '1' theneth_rxd_sys <= (others => '0');eth_rxdv_sys <= '0';elsif rising_edge(sysclk) theneth_rxd_sys <= eth_fifo_rdata;eth_rxdv_sys <= eth_fifo_rdvld;end if;
end process;
end architecture;