tap_gen_gen.vhd

来自「The GRLIB IP Library is an integrated se」· VHDL 代码 · 共 158 行

----------------------------------------------------------------------------
--  This file is a part of the GRLIB VHDL IP LIBRARY
--  Copyright (C) 2005 GAISLER RESEARCH
--
--  This program is free software; you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation; either version 2 of the License, or
--  (at your option) any later version.
--
--  See the file COPYING for the full details of the license.
--
-----------------------------------------------------------------------------   
-- Entity:      tap_gen
-- File:        tap_gen_gen.vhd
-- Author:      Edvin Catovic - Gaisler Research
-- Description: Generic JTAG Test Access Port (TAP) Controller 
------------------------------------------------------------------------------


library ieee;
use ieee.std_logic_1164.all;
library grlib;
use grlib.tech.all;
use grlib.stdlib.all;
library gaisler;
use gaisler.libjtagcom.all;
use gaisler.misc.all;

entity tap_gen is
  generic (
    tech   : integer range 0 to NTECH  := 0;
    irlen  : integer range 2 to 8 := 2;
    idcode : integer range 0 to 255 := 9;
    id_msb : integer range 0 to 65536 := 0;
    id_lsb : integer range 0 to 65536 := 0);
  port (
    rst         : in std_ulogic;
    tck         : in std_ulogic;
    tms         : in std_ulogic;
    tdi         : in std_ulogic;
    tdo         : out std_ulogic;
    tapi_en1    : in std_ulogic;
    tapi_tdo1   : in std_ulogic;
    tapi_tdo2   : in std_ulogic;
    tapo_tck    : out std_ulogic;
    tapo_tdi    : out std_ulogic;
    tapo_inst   : out std_logic_vector(7 downto 0);
    tapo_rst    : out std_ulogic;
    tapo_capt   : out std_ulogic;
    tapo_shft   : out std_ulogic;
    tapo_upd    : out std_ulogic;
    tapo_xsel1  : out std_ulogic;
    tapo_xsel2  : out std_ulogic
    );
end;


architecture rtl of tap_gen is

  constant BYPASS : std_logic_vector(irlen-1 downto 0) := (others => '1');
  constant IDCODE_I : std_logic_vector(irlen-1 downto 0) := conv_std_logic_vector(idcode, irlen);
  constant ID : std_logic_vector(31 downto 0) := conv_std_logic_vector(16#1434093#, 32);
  
  type state_type is (test_rst, run_idle, select_dr, capture_dr, shift_dr, exit1_dr,
                      pause_dr, exit2_dr, update_dr, select_ir, capture_ir, shift_ir,
                      exit1_ir, pause_ir, exit2_ir, update_ir); 

  type reg_type is record
   state  : state_type;
   inst   : std_logic_vector(irlen-1 downto 0);
   shft   : std_logic_vector(31 downto 0);
   tdo    : std_ulogic;
  end record;

  signal r, rin : reg_type;
  
begin  

  comb : process(tck, tms, tdi, tapi_en1, tapi_tdo1, tapi_tdo2, r)    
    variable v : reg_type;
    variable vtapo : tap_out_type;
    variable vtdo : std_ulogic;
  begin

    v := r; 
    vtapo.tck := tck;
    vtapo.reset := '0'; vtapo.tdi := tdi;
    vtapo.inst := (others => '0'); vtapo.inst(irlen-1 downto 0) := r.inst;
    vtapo.capt := '0'; vtapo.upd := '0'; vtapo.shift := '0'; vtapo.asel := '0'; vtapo.dsel := '0';
    if (r.inst = IDCODE_I) or (r.inst = BYPASS) then v.tdo := r.shft(0);
    elsif tapi_en1 = '1' then v.tdo := tapi_tdo1;
    else v.tdo := tapi_tdo2; end if;    
                                                     
    case r.state is
      when test_rst   => if tms = '0' then v.state := run_idle; end if;
      when run_idle   => if tms = '1' then v.state := select_dr; end if;
      when select_dr  => if tms = '0' then v.state := capture_dr; else v.state := select_ir; end if;
      when capture_dr => if tms = '0' then v.state := shift_dr; else v.state := exit1_dr; end if;
      when shift_dr   => if tms = '1' then v.state := exit1_dr; end if;
      when exit1_dr   => if tms = '0' then v.state := pause_dr; else v.state := update_dr; end if;
      when pause_dr   => if tms = '1' then v.state := exit2_dr; end if;
      when exit2_dr   => if tms = '0' then v.state := shift_dr; else v.state := update_dr; end if;
      when update_dr  => if tms = '0' then v.state := run_idle; else v.state := select_dr; end if;
      when select_ir  => if tms = '0' then v.state := capture_ir; else v.state := test_rst; end if;
      when capture_ir => if tms = '0' then v.state := shift_ir; else v.state := exit1_ir; end if;
      when shift_ir   => if tms = '1' then v.state := exit1_ir; end if;
      when exit1_ir   => if tms = '0' then v.state := pause_ir; else v.state := update_ir; end if;
      when pause_ir   => if tms = '1' then v.state := exit2_ir; end if;
      when exit2_ir   => if tms = '0' then v.state := shift_ir; else v.state := update_ir; end if;
      when update_ir  => if tms = '0' then v.state := run_idle; else v.state := select_dr; end if;
    end case;
      
    case r.state is
      when test_rst =>
        vtapo.reset := '1'; v.inst := IDCODE_I;
      when capture_dr =>
        vtapo.capt := '1';
         if r.inst = BYPASS then v.shft(0) := '0'; end if;        
         if r.inst = IDCODE_I then  v.shft := ID; end if;
      when shift_dr   =>
        vtapo.shift := '1';
        if r.inst = BYPASS then v.shft(0) := tdi; end if;
        if r.inst = IDCODE_I then v.shft := tdi & r.shft(31 downto 1); end if;
      when update_dr  =>
        vtapo.upd := '1';
      when capture_ir => v.shft(irlen-1 downto 2) := r.inst(irlen-1 downto 2); v.shft(1 downto 0) := "01";
      when shift_ir   => v.shft(irlen-1 downto 0) := tdi & r.shft(irlen-1 downto 1);
      when update_ir  => v.inst := r.shft(irlen-1 downto 0);                         
      when others => 
    end case;

    rin <= v; tdo <= r.tdo;
    tapo_tck <= tck; tapo_tdi <= tdi; tapo_inst <= vtapo.inst; tapo_rst <= vtapo.reset;
    tapo_capt <= vtapo.capt; tapo_shft <= vtapo.shift; tapo_upd <= vtapo.upd;   
    tapo_xsel1 <= '0'; tapo_xsel2 <= '0';    
  end process;
  
  posreg : process(tck, rst)
  begin
    if rising_edge(tck) then
      r.state <= rin.state;
      r.shft  <= rin.shft;
    end if;
    if rst = '0' then r.state <= test_rst; end if;
  end process;

  negreg : process(tck, rst)
  begin
     if falling_edge(tck) then
       r.inst <= rin.inst;
       r.tdo  <= rin.tdo;
     end if;
     if rst = '0' then r.inst <= IDCODE_I; end if;
  end process;  
    
  
end;