syn,top: WR-compatible top level

1a9fad9f · Tomasz Wlostowski · 36107a74 · 1a9fad9f · 1a9fad9f · 1a9fad9f
Commit 1a9fad9f authored Jun 06, 2012 by Tomasz Wlostowski
5 changed files
--- a/hdl/syn/spec/wr/Manifest.py
+++ b/hdl/syn/spec/wr/Manifest.py
+target = "xilinx"
+action = "synthesis"
+
+fetchto = "../../../ip_cores"
+
+syn_device = "xc6slx45t"
+syn_grade = "-3"
+syn_package = "fgg484"
+syn_top = "spec_top"
+syn_project = "spec_fine_delay.xise"
+
+modules = { "local" : [ "../../../top/spec/wr", "../../../platform" ] }
--- a/hdl/syn/spec/wr/spec_fine_delay.xise
+++ b/hdl/syn/spec/wr/spec_fine_delay.xise
--- a/hdl/top/spec/wr/mini_bone/Manifest.py
+++ b/hdl/top/spec/wr/mini_bone/Manifest.py
+files = ["mini_bone.vhd", "xmini_bone.vhd"];
--- a/hdl/top/spec/wr/mini_bone/mini_bone.vhd
+++ b/hdl/top/spec/wr/mini_bone/mini_bone.vhd
+library ieee;
+use ieee.std_logic_1164.all;
+
+use work.Wishbone_pkg.all;
+use work.wr_fabric_pkg.all;
+
+entity mini_bone is
+  generic(
+    g_class_mask    : std_logic_vector(7 downto 0) := x"ff";
+    g_our_ethertype : std_logic_vector(15 downto 0) := x"a0a0");
+  port (
+    clk_sys_i : in std_logic;
+    rst_n_i   : in std_logic;
+
+    snk_cyc_i   : in  std_logic;
+    snk_stb_i   : in  std_logic;
+    snk_sel_i   : in  std_logic_vector(1 downto 0);
+    snk_adr_i   : in  std_logic_vector(1 downto 0);
+    snk_dat_i   : in  std_logic_vector(15 downto 0);
+    snk_we_i    : in  std_logic;
+    snk_stall_o : out std_logic;
+    snk_ack_o   : out std_logic;
+    snk_err_o   : out std_logic;
+
+    src_cyc_o   : out std_logic;
+    src_stb_o   : out std_logic;
+    src_dat_o   : out std_logic_vector(15 downto 0);
+    src_adr_o   : out std_logic_vector(1 downto 0);
+    src_we_o    : out std_logic;
+    src_ack_i   : in  std_logic;
+    src_err_i   : in  std_logic;
+    src_sel_o   : out std_logic_vector(1 downto 0);
+    src_stall_i : in  std_logic;
+
+    master_cyc_o : out std_logic;
+    master_we_o  : out std_logic;
+    master_stb_o : out std_logic;
+    master_sel_o : out std_logic_vector(3 downto 0);
+    master_adr_o : out std_logic_vector(31 downto 0);
+    master_dat_o : out std_logic_vector(31 downto 0);
+    master_dat_i : in  std_logic_vector(31 downto 0);
+    master_ack_i : in  std_logic
+    );
+
+end mini_bone;
+
+
+architecture wrapper of mini_bone is
+
+  component xmini_bone
+    generic (
+      g_class_mask    : std_logic_vector(7 downto 0);
+      g_our_ethertype : std_logic_vector(15 downto 0));
+    port (
+      clk_sys_i : in  std_logic;
+      rst_n_i   : in  std_logic;
+      src_o     : out t_wrf_source_out;
+      src_i     : in  t_wrf_source_in;
+      snk_o     : out t_wrf_sink_out;
+      snk_i     : in  t_wrf_sink_in;
+      master_o  : out t_wishbone_master_out;
+      master_i  : in  t_wishbone_master_in);
+  end component;
+
+
+  signal src_out    : t_wrf_source_out;
+  signal src_in     : t_wrf_source_in;
+  signal snk_out    : t_wrf_sink_out;
+  signal snk_in     : t_wrf_sink_in;
+  signal master_out : t_wishbone_master_out;
+  signal master_in  : t_wishbone_master_in;
+
+begin  -- wrapper
+
+  U_Wrapped_MB : xmini_bone
+    generic map (
+      g_class_mask    => g_class_mask,
+      g_our_ethertype => g_our_ethertype)
+    port map (
+      clk_sys_i => clk_sys_i,
+      rst_n_i   => rst_n_i,
+      src_o     => src_out,
+      src_i     => src_in,
+      snk_o     => snk_out,
+      snk_i     => snk_in,
+      master_o  => master_out,
+      master_i  => master_in);
+
+  src_cyc_o <= src_out.cyc;
+  src_stb_o <= src_out.stb;
+  src_we_o  <= src_out.we;
+  src_adr_o <= src_out.adr;
+  src_dat_o <= src_out.dat;
+  src_sel_o <= src_out.sel;
+
+  src_in.ack   <= src_ack_i;
+  src_in.stall <= src_stall_i;
+
+
+  snk_in.cyc <= snk_cyc_i;
+  snk_in.stb <= snk_stb_i;
+  snk_in.we  <= snk_we_i;
+  snk_in.sel <= snk_sel_i;
+  snk_in.adr <= snk_adr_i;
+  snk_in.dat <= snk_dat_i;
+
+  snk_ack_o   <= snk_out.ack;
+  snk_stall_o <= snk_out.stall;
+
+  master_cyc_o <= master_out.cyc;
+  master_stb_o <= master_out.stb;
+  master_we_o  <= master_out.we;
+  master_sel_o <= master_out.sel;
+  master_adr_o <= master_out.adr;
+  master_dat_o <= master_out.dat;
+
+  master_in.dat <= master_dat_i;
+  master_in.ack <= master_ack_i;
+  
+end wrapper;
--- a/hdl/top/spec/wr/mini_bone/xmini_bone.vhd
+++ b/hdl/top/spec/wr/mini_bone/xmini_bone.vhd
+-- A crude Ethernet controlled WB master, for demonstrating 
+-- testbenching in SystemVerilog 
+
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+use work.wishbone_pkg.all;
+use work.wr_fabric_pkg.all;
+
+entity xmini_bone is
+  generic(
+    g_class_mask    : std_logic_vector(7 downto 0);
+
+-- packets matching g_our_ethertype will only be accepted 
+    g_our_ethertype : std_logic_vector(15 downto 0));
+  
+  port (
+    clk_sys_i : in std_logic;
+    rst_n_i   : in std_logic;
+
+    -- Packets come here
+    src_o : out t_wrf_source_out;
+    src_i : in  t_wrf_source_in;
+
+    -- Packets are sent out from here
+    snk_o : out t_wrf_sink_out;
+    snk_i : in  t_wrf_sink_in;
+
+    --
+    master_o : out t_wishbone_master_out;
+    master_i : in  t_wishbone_master_in
+    );
+
+end xmini_bone;
+
+architecture behavioral of xmini_bone is
+
+  type t_state is (IDLE, RX_DATA, RX_CHECK, RX_DROP, RX_WAIT_EOP, WB_ISSUE, TX_START_PACKET, TX_STATUS, TX_DATA, TX_FINISH_PACKET, TX_STALL);
+
+
+  signal snk_out : t_wrf_sink_out;
+  signal src_out : t_wrf_source_out;
+
+
+  signal trans_addr  : std_logic_vector(31 downto 0);
+  signal trans_wdata : std_logic_vector(31 downto 0);
+  signal trans_rdata : std_logic_vector(31 downto 0);
+
+  signal trans_rx_hdr : std_logic_vector(15 downto 0);
+
+  alias trans_sel is trans_rx_hdr(3 downto 0);
+  alias trans_we is trans_rx_hdr(4);
+
+  signal trans_tx_hdr : std_logic_vector(15 downto 0);
+
+  alias trans_readback is trans_tx_hdr(0);
+  alias trans_error is trans_tx_hdr(1);
+
+  signal rx_remote_mac : std_logic_vector(47 downto 0);
+  signal rx_ethertype  : std_logic_vector(15 downto 0);
+
+  signal state      : t_state;
+  signal snk_offset : std_logic_vector(31 downto 0);
+  signal src_offset : std_logic_vector(31 downto 0);
+
+  signal d_valid    : std_logic;
+  signal d_status   : std_logic;
+  signal d_rx_error : std_logic;
+
+  signal decoded_status : t_wrf_status_reg;
+
+  signal stall_int : std_logic;
+
+  signal src_ack_count : unsigned(4 downto 0);
+
+  signal s_zeroes        : std_logic_vector(15 downto 0) := x"0000";
+  signal s_our_ethertype : std_logic_vector(15 downto 0) := g_our_ethertype;
+
+
+  function f_sl(x : boolean) return std_logic is
+  begin
+    if(x) then
+      return '1';
+    else
+      return '0';
+    end if;
+  end f_sl;
+
+  procedure f_extract_rx(signal q       : out std_logic_vector;
+                         signal d       : in  std_logic_vector;
+                         signal d_valid : in  std_logic;
+                         offset         :     integer) is
+  begin
+
+    if(snk_offset(offset) = '1' and d_valid = '1') then
+      q <= d;
+    end if;
+  end f_extract_rx;
+
+
+  signal tx_ser_counter : unsigned(6 downto 0);
+  
+  procedure f_serialize_tx(
+    signal q : out std_logic_vector;
+    signal x : in  std_logic_vector;
+    offset   :     integer;
+    cnt: unsigned) is
+  begin
+    if (offset >= 0 and cnt = to_unsigned(offset, cnt'length)) then
+      q <= x;
+    end if;
+  end f_serialize_tx;
+
+begin  -- behavioral
+
+  trans_tx_hdr(15 downto 2) <= (others => '0');
+
+  decoded_status <= f_unmarshall_wrf_status(snk_i.dat);
+
+  d_valid    <= '1' when (snk_i.cyc and snk_i.we and snk_i.stb) = '1' and (snk_i.adr = c_WRF_DATA)   else '0';
+  d_status   <= '1' when (snk_i.cyc and snk_i.we and snk_i.stb) = '1' and (snk_i.adr = c_WRF_STATUS) else '0';
+  d_rx_error <= d_status and decoded_status.error;
+
+  p_snk_gen_ack : process(clk_sys_i)
+  begin
+    if rising_edge(clk_sys_i) then
+      if rst_n_i = '0' then
+        snk_out.ack <= '0';
+      else
+        snk_out.ack <= snk_i.stb and snk_i.cyc and snk_i.we and not snk_out.stall;
+      end if;
+    end if;
+  end process;
+
+  p_offset_sreg : process(clk_sys_i)
+  begin
+    if rising_edge(clk_sys_i) then
+      if rst_n_i = '0' then
+        snk_offset <= (0 => '1', others => '0');
+        src_offset <= (0 => '1', others => '0');
+      else
+        if(snk_i.cyc = '0') then
+          snk_offset(0)                        <= '1';
+          snk_offset(snk_offset'left downto 1) <= (others => '0');
+        elsif(d_valid = '1') then
+          snk_offset <= snk_offset(snk_offset'left-1 downto 0) & '0';
+        end if;
+
+        if(src_out.cyc = '0') then
+          src_offset <= (0 => '1', others => '0');
+        elsif(src_i.stall = '0' and src_out.stb = '1') then
+          src_offset <= src_offset(src_offset'left-1 downto 0) & '0';
+        end if;
+        
+      end if;
+    end if;
+  end process;
+
+  p_src_count_acks : process(clk_sys_i)
+  begin
+    if rising_edge(clk_sys_i) then
+      if rst_n_i = '0' then
+        src_ack_count <= (others => '0');
+      else
+        if(src_out.cyc = '0') then
+          src_ack_count <= (others => '0');
+        elsif(src_i.ack = '1') then
+          src_ack_count <= src_ack_count + 1;
+        end if;
+      end if;
+    end if;
+    
+  end process;
+
+
+
+  p_fsm : process(clk_sys_i)
+    variable tx_offset : integer;
+  begin
+    if rising_edge(clk_sys_i) then
+      if rst_n_i = '0' then
+        state     <= IDLE;
+        stall_int <= '0';
+
+        master_o.cyc <= '0';
+        master_o.stb <= '0';
+
+        src_out.cyc <= '0';
+        src_out.stb <= '0';
+        src_out.we  <= '1';
+        src_out.sel <= "11";
+        src_out.adr <= (others => '0');
+        src_out.dat <= (others => '0');
+
+        trans_readback <= '0';
+        trans_we       <= '0';
+        trans_rdata    <= (others => '0');
+        trans_wdata    <= (others => '0');
+        trans_addr     <= (others => '0');
+        trans_sel      <= (others => '0');
+        trans_error    <= '0';
+
+        rx_remote_mac <= (others => '0');
+        rx_ethertype  <= (others => '0');
+
+        tx_ser_counter <= (others => '0');
+        
+        
+      else
+
+        case state is
+          when IDLE =>
+            stall_int <= '0';
+            tx_ser_counter <= (others => '0');
+
+            if(snk_i.cyc = '1') then
+              state <= RX_DATA;
+            end if;
+
+          when RX_DATA =>
+
+            f_extract_rx(rx_remote_mac(47 downto 32), snk_i.dat, d_valid, 3);
+            f_extract_rx(rx_remote_mac(31 downto 16), snk_i.dat, d_valid, 4);
+            f_extract_rx(rx_remote_mac(15 downto 0), snk_i.dat, d_valid, 5);
+            f_extract_rx(rx_ethertype, snk_i.dat, d_valid, 6);
+            f_extract_rx(trans_rx_hdr, snk_i.dat, d_valid, 7);
+            f_extract_rx(trans_addr(31 downto 16), snk_i.dat, d_valid, 8);
+            f_extract_rx(trans_addr(15 downto 0), snk_i.dat, d_valid, 9);
+            f_extract_rx(trans_wdata(31 downto 16), snk_i.dat, d_valid, 10);
+            f_extract_rx(trans_wdata(15 downto 0), snk_i.dat, d_valid, 11);
+
+            if(d_rx_error = '1' or snk_i.cyc = '0') then
+              state <= RX_DROP;
+            elsif(d_valid = '1' and snk_offset(12) = '1') then
+              state <= RX_WAIT_EOP;
+            end if;
+
+          when RX_WAIT_EOP =>
+            if(d_rx_error = '1') then
+              state <= RX_DROP;
+            elsif(snk_i.cyc = '0') then  -- end-of-packet?
+              stall_int <= '1';  -- stop reception while the cycle is issued
+              state     <= RX_CHECK;
+            end if;
+
+          when RX_CHECK =>
+            if(rx_ethertype = g_our_ethertype) then
+              state <= WB_ISSUE;
+            else
+              state <= RX_DROP;
+            end if;
+
+          when WB_ISSUE =>
+            if(master_i.ack = '0') then
+              master_o.cyc <= '1';
+              master_o.stb <= '1';
+            else
+              master_o.cyc <= '0';
+              master_o.stb <= '0';
+              trans_rdata  <= master_i.dat;
+              state        <= TX_START_PACKET;
+            end if;
+
+            trans_readback <= not trans_we;
+            trans_error    <= '0';
+
+
+          when TX_START_PACKET =>
+
+            if(src_i.stall = '0') then
+              state       <= TX_STATUS;
+              src_out.stb <= '1';
+              src_out.cyc <= '1';
+              src_out.adr <= c_WRF_STATUS;
+              src_out.dat <= (others => '0');
+            else
+              src_out.stb <= '0';
+              src_out.cyc <= '0';
+            end if;
+
+
+          when TX_STATUS =>
+
+            if(src_i.stall = '0') then
+              src_out.stb <= '1';
+              src_out.adr <= c_WRF_DATA;
+              state       <= TX_DATA;
+              f_serialize_tx(src_out.dat, rx_remote_mac(47 downto 32), 0, tx_ser_counter);
+            end if;
+
+
+          when TX_DATA =>
+            src_out.stb <= '1';
+
+            if(src_i.stall = '1')then
+              tx_offset := 0;
+            else
+              tx_offset := -1;
+            end if;
+
+            f_serialize_tx(src_out.dat, rx_remote_mac(47 downto 32), tx_offset + 0, tx_ser_counter);
+            f_serialize_tx(src_out.dat, rx_remote_mac(31 downto 16), tx_offset + 1, tx_ser_counter);
+            f_serialize_tx(src_out.dat, rx_remote_mac(15 downto 0), tx_offset + 2, tx_ser_counter);  -- DST MAC
+            f_serialize_tx(src_out.dat, s_zeroes, tx_offset + 3, tx_ser_counter);
+            f_serialize_tx(src_out.dat, s_zeroes, tx_offset + 4, tx_ser_counter);
+            f_serialize_tx(src_out.dat, s_zeroes, tx_offset + 5, tx_ser_counter);
+            f_serialize_tx(src_out.dat, s_our_ethertype, tx_offset + 6, tx_ser_counter);
+            f_serialize_tx(src_out.dat, trans_tx_hdr, tx_offset + 7, tx_ser_counter);
+            f_serialize_tx(src_out.dat, trans_rdata(31 downto 16), tx_offset + 8, tx_ser_counter);
+            f_serialize_tx(src_out.dat, trans_rdata(15 downto 0), tx_offset + 9, tx_ser_counter);
+
+            if(src_i.stall = '0') then
+              tx_ser_counter <= tx_ser_counter + 1;
+            end if;
+
+            if(tx_ser_counter = 30 and src_i.stall = '0') then
+              state       <= TX_FINISH_PACKET;
+              src_out.stb <= '0';
+            end if;
+            
+
+          when TX_FINISH_PACKET =>
+            if(src_ack_count = 31) then
+              src_out.stb <= '0';
+              src_out.cyc <= '0';
+              state       <= IDLE;
+            end if;
+
+          when RX_DROP =>
+            if(snk_i.cyc = '0') then
+              state <= IDLE;
+            end if;
+          when others => null;
+        end case;
+      end if;
+    end if;
+  end process;
+
+  master_o.dat <= trans_wdata;
+  master_o.adr <= trans_addr;
+  master_o.we  <= trans_we;
+  master_o.sel <= trans_sel;
+
+
+  snk_o <= snk_out;
+
+  snk_out.err   <= '0';
+  snk_out.rty   <= '0';
+  snk_out.stall <= stall_int or (snk_i.cyc and snk_i.stb and f_sl(state = IDLE));
+
+  src_o <= src_out;
+
+
+end behavioral;