test_public_config_pkg.vhd

--------------------------------------------------------------------------------
-- Fault InJection Instrumenter (FIJI)
-- https://embsys.technikum-wien.at/projects/vecs/fiji
--
-- The creation of this file has been supported by the publicly funded
-- R&D project Josef Ressel Center for Verification of Embedded Computing
-- Systems (VECS) managed by the Christian Doppler Gesellschaft (CDG).
--
-- Authors:
-- Christian Fibich <fibich@technikum-wien.at>
-- Stefan Tauner <tauner@technikum-wien.at>
--
-- Copyright and related rights are licensed under the Solderpad Hardware
-- License, Version 0.51 (the "License"); you may not use this file except
-- in compliance with the License. You may obtain a copy of the License at
-- http://solderpad.org/licenses/SHL-0.51. Unless required by applicable
-- law or agreed to in writing, software, hardware and materials
-- distributed under this License is distributed on an "AS IS" BASIS,
-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either expressed or
-- implied. See the License for the specific language governing
-- permissions and limitations under the License.
--
-- See the LICENSE file for more details.
--
-- Description:
--  Default public config package for testbenches
--------------------------------------------------------------------------------

library ieee;
    use ieee.std_logic_1164.all;

library work;
    use work.fault_selection_type_pkg.all;

package public_config_pkg is

  ------------------------------------------------------------------------------
  -- Attention: Some test cases require the exact c_frequency and c_baudrate
  -- as set below and may lead to other results when these values are changed
  -- i.e. different coverage
  ------------------------------------------------------------------------------

  ------------------------------------------------------------------------------
  -- Design configuration
  ------------------------------------------------------------------------------
  -- The design's clock frequency
  constant c_frequency : positive := 200000000;
  -- The baud rate
  constant c_baudrate  : positive := 3000000;
  -- The invert mask for the fault detection signals
  constant c_fault_detect_invert_mask : std_logic_vector(1 downto 0) := "10";

  ------------------------------------------------------------------------------
  -- LFSR configuration
  ------------------------------------------------------------------------------

  -- Width of the LFSR for random FIU enable & stuck-open
  constant c_lfsr_width : natural                                   := 16;
  -- Polynomial for the LFSR
  constant c_lfsr_poly  : std_logic_vector(c_lfsr_width-1 downto 0) := X"002d";
  -- Initial value for the LFSR
  constant c_lfsr_seed  : std_logic_vector(c_lfsr_width-1 downto 0) := X"cafe";

  ------------------------------------------------------------------------------
  -- Controller Configuration
  ------------------------------------------------------------------------------

  -- Width of the timers in bytes.
  constant c_timer_width  : natural := 4;
  
  -- FIC -> DUT reset signal: active level
  constant c_reset_dut_in_active : std_logic := '0';
  -- reset duration
  constant c_reset_dut_in_duration : positive := 4;

  -- external reset signal: active level
  constant c_reset_ext_active : std_logic := '0';

  -- DUT -> FIC reset signal: active level
  constant c_reset_dut_out_active : std_logic := '0';


  -- active level of the external and internal triggers
  constant c_trigger_ext_active             : std_logic := '0';
  constant c_trigger_dut_active             : std_logic := '1';

  -- hardware id
  constant c_id    : std_logic_vector(15 downto 0) :=  X"0123";




  ------------------------------------------------------------------------------
  -- FIU Configuration
  ------------------------------------------------------------------------------

  type t_single_fiu_record is record
    fault_model             : t_select_fault_models;  -- Select dynamic or single fault model. See fault_injection_unit
    lfsr_mask               : std_logic_vector(c_lfsr_width-1 downto 0);  -- Select which LFSR bits to AND for Stuck-Open
  end record t_single_fiu_record;

  type t_fiu_records is array (natural range <>) of t_single_fiu_record;

  constant c_fiu_config : t_fiu_records := (

      (fault_model     => RUNTIME,
       lfsr_mask       => X"04D2"),

      (fault_model     => STUCK_AT_0,
       lfsr_mask       => X"0000"),

      (fault_model     => STUCK_AT_1,
       lfsr_mask       => X"0000"),

      (fault_model     => DELAY,
       lfsr_mask       => X"0000"),

      (fault_model     => SEU,
       lfsr_mask       => X"0000"),

      (fault_model     => STUCK_OPEN,
       lfsr_mask       => X"0001"),

      (fault_model     => PASS_THRU,
       lfsr_mask       => X"0000"),

      (fault_model     => RUNTIME,
       lfsr_mask       => X"8001")

  );

end package public_config_pkg;