-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
-- Copyright 2011 Ken Campbell
|
-- Copyright 2014 Ken Campbell
|
|
-- All rights reserved.
|
-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
-- $Author: sckoarn $
|
-- $Author: sckoarn $
|
--
|
--
|
-- $Date: $
|
-- $Date: $
|
--
|
--
|
-- $Id: $
|
-- $Id: $
|
--
|
--
|
-- $Source: $
|
-- $Source: $
|
--
|
--
|
-- Description : The the testbench package template behave file.
|
-- Description : The the testbench template file.
|
-- GNU release 2 Beta.
|
|
--
|
--
|
------------------------------------------------------------------------------
|
------------------------------------------------------------------------------
|
--This file is part of The VHDL Test Bench.
|
-- This file is a template used to generate test bench _bhv.vhd file.
|
--
|
--
|
-- The VHDL Test Bench is free software; you can redistribute it and/or modify
|
-- Redistribution and use in source and binary forms, with or without
|
-- it under the terms of the GNU General Public License as published by
|
-- modification, are permitted provided that the following conditions are met:
|
-- the Free Software Foundation; either version 2 of the License, or
|
--
|
-- (at your option) any later version.
|
-- 1. Redistributions of source code must retain the above copyright notice,
|
--
|
-- this list of conditions and the following disclaimer.
|
-- The VHDL Test Bench is distributed in the hope that it will be useful,
|
--
|
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
|
-- 2. Redistributions in binary form must reproduce the above copyright notice,
|
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
-- this list of conditions and the following disclaimer in the documentation
|
-- GNU General Public License for more details.
|
-- and/or other materials provided with the distribution.
|
--
|
--
|
-- You should have received a copy of the GNU General Public License
|
-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
-- along with The VHDL Test Bench; if not, write to the Free Software
|
-- AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
|
-- IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
-- ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
|
|
-- LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
|
-- CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
|
-- SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
|
-- INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
|
-- CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
|
-- ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
-- POSSIBILITY OF SUCH DAMAGE.
|
-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
|
|
architecture bhv of tb_Top is
|
architecture bhv of tb_Top is
|
|
|
|
|
signal tb_clk : std_logic;
|
signal tb_clk : std_logic;
|
|
|
-------------------------------------------------------------------------
|
-------------------------------------------------------------------------
|
-- Component defintion
|
-- Component defintion
|
|
|
-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
-- USER Component instantiations
|
-- USER Component instantiations
|
--for all: Arbitor use entity tb_objects.arbitor(bhv);
|
--for all: Arbitor use entity tb_objects.arbitor(bhv);
|
|
|
|
|
begin
|
begin
|
|
|
-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
-- clock driver process
|
-- clock driver process
|
-- the main clock generator
|
-- the main clock generator
|
clock_driver:
|
clock_driver:
|
process
|
process
|
begin
|
begin
|
tb_clk <= '0';
|
tb_clk <= '0';
|
wait for 5 ns;
|
wait for 5 ns;
|
tb_clk <= '1';
|
tb_clk <= '1';
|
wait for 5 ns;
|
wait for 5 ns;
|
end process clock_driver;
|
end process clock_driver;
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
-- Read_file Process:
|
-- Read_file Process:
|
--
|
--
|
-- This process is the main process of the testbench. This process reads
|
-- This process is the main process of the testbench. This process reads
|
-- the stumulus file, parses it, creates lists of records, then uses these
|
-- the stumulus file, parses it, creates lists of records, then uses these
|
-- lists to exicute user instructions. There are two passes through the
|
-- lists to exicute user instructions. There are two passes through the
|
-- script. Pass one reads in the stimulus text file, checks it, creates
|
-- script. Pass one reads in the stimulus text file, checks it, creates
|
-- lists of valid instructions, valid list of variables and finialy a list
|
-- lists of valid instructions, valid list of variables and finialy a list
|
-- of user instructions(the sequence). The second pass through the file,
|
-- of user instructions(the sequence). The second pass through the file,
|
-- records are drawn from the user instruction list, variables are converted
|
-- records are drawn from the user instruction list, variables are converted
|
-- to integers and put through the elsif structure for exicution.
|
-- to integers and put through the elsif structure for exicution.
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
Read_file: process
|
Read_file: process
|
variable current_line : text_line; -- The current input line
|
variable current_line : text_line; -- The current input line
|
variable inst_list : inst_def_ptr; -- the instruction list
|
variable inst_list : inst_def_ptr; -- the instruction list
|
variable defined_vars : var_field_ptr; -- defined variables
|
variable defined_vars : var_field_ptr; -- defined variables
|
variable inst_sequ : stim_line_ptr; -- the instruction sequence
|
variable inst_sequ : stim_line_ptr; -- the instruction sequence
|
variable file_list : file_def_ptr; -- pointer to the list of file names
|
variable file_list : file_def_ptr; -- pointer to the list of file names
|
variable last_sequ_num: integer;
|
variable last_sequ_num: integer;
|
variable last_sequ_ptr: stim_line_ptr;
|
variable last_sequ_ptr: stim_line_ptr;
|
|
|
variable instruction : text_field; -- instruction field
|
variable instruction : text_field; -- instruction field
|
variable par1 : integer; -- paramiter 1
|
variable par1 : integer; -- paramiter 1
|
variable par2 : integer; -- paramiter 2
|
variable par2 : integer; -- paramiter 2
|
variable par3 : integer; -- paramiter 3
|
variable par3 : integer; -- paramiter 3
|
variable par4 : integer; -- paramiter 4
|
variable par4 : integer; -- paramiter 4
|
variable par5 : integer; -- paramiter 5
|
variable par5 : integer; -- paramiter 5
|
variable par6 : integer; -- paramiter 6
|
variable par6 : integer; -- paramiter 6
|
variable txt : stm_text_ptr;
|
variable txt : stm_text_ptr;
|
variable nbase : base; -- the number base to use
|
variable nbase : base; -- the number base to use
|
variable len : integer; -- length of the instruction field
|
variable len : integer; -- length of the instruction field
|
variable file_line : integer; -- Line number in the stimulus file
|
variable file_line : integer; -- Line number in the stimulus file
|
variable file_name : text_line; -- the file name the line came from
|
variable file_name : text_line; -- the file name the line came from
|
variable v_line : integer := 0; -- sequence number
|
variable v_line : integer := 0; -- sequence number
|
variable stack : stack_register; -- Call stack
|
variable stack : stack_register; -- Call stack
|
variable stack_ptr : integer := 0; -- call stack pointer
|
variable stack_ptr : integer := 0; -- call stack pointer
|
variable wh_stack : stack_register; -- while stack
|
variable wh_stack : stack_register; -- while stack
|
variable wh_dpth : integer := 0; -- while depth
|
variable wh_dpth : integer := 0; -- while depth
|
variable wh_ptr : integer := 0; -- while pointer
|
variable wh_ptr : integer := 0; -- while pointer
|
variable loop_num : integer := 0;
|
variable loop_num : integer := 0;
|
variable curr_loop_count : int_array := (others => 0);
|
variable curr_loop_count : int_array := (others => 0);
|
variable term_loop_count : int_array := (others => 0);
|
variable term_loop_count : int_array := (others => 0);
|
variable loop_line : int_array := (others => 0);
|
variable loop_line : int_array := (others => 0);
|
|
|
variable messages : boolean := TRUE;
|
variable messages : boolean := TRUE;
|
variable if_state : boolean := FALSE;
|
variable if_state : boolean := FALSE;
|
variable wh_state : boolean := FALSE;
|
variable wh_state : boolean := FALSE;
|
variable wh_end : boolean := FALSE;
|
variable wh_end : boolean := FALSE;
|
variable rand : std_logic_vector(31 downto 0);
|
variable rand : std_logic_vector(31 downto 0);
|
variable rand_back : std_logic_vector(31 downto 0);
|
variable rand_back : std_logic_vector(31 downto 0);
|
variable valid : integer;
|
variable valid : integer;
|
|
|
-- scratchpad variables
|
-- scratchpad variables
|
variable temp_int : integer;
|
variable temp_int : integer;
|
variable temp_index : integer;
|
variable temp_index : integer;
|
variable temp_str : text_field;
|
variable temp_str : text_field;
|
variable v_temp_vec1 : std_logic_vector(31 downto 0);
|
variable v_temp_vec1 : std_logic_vector(31 downto 0);
|
variable v_temp_vec2 : std_logic_vector(31 downto 0);
|
variable v_temp_vec2 : std_logic_vector(31 downto 0);
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
-- Area for Procedures which may be usefull to more than one instruction.
|
-- Area for Procedures which may be usefull to more than one instruction.
|
-- By coding here commonly used code sections ...
|
-- By coding here commonly used code sections ...
|
-- you know the benifits.
|
-- you know the benifits.
|
---------------------------------------------------------------------
|
---------------------------------------------------------------------
|
-----------------------------------------------------------------
|
-----------------------------------------------------------------
|
-- This procedure writes to the arbitor model access port
|
-- This procedure writes to the arbitor model access port
|
-- procedure arb_write(add: in integer; .....
|
-- procedure arb_write(add: in integer; .....
|
-- end arb_write;
|
-- end arb_write;
|
|
|
|
|
begin -- process Read_file
|
begin -- process Read_file
|
-- parse_tb1 start input initialization
|
-- parse_tb1 start input initialization
|
-----------------------------------------------------------------------
|
-----------------------------------------------------------------------
|
-- Stimulus file instruction definition
|
-- Stimulus file instruction definition
|
-- This is where the instructions used in the stimulus file are defined.
|
-- This is where the instructions used in the stimulus file are defined.
|
-- Syntax is
|
-- Syntax is
|
-- define_instruction(inst_def_ptr, instruction, paramiters)
|
-- define_instruction(inst_def_ptr, instruction, paramiters)
|
-- inst_def_ptr: is a record pointer defined in tb_pkg_header
|
-- inst_def_ptr: is a record pointer defined in tb_pkg_header
|
-- instruction: the text instruction name ie. "ADD_VAR"
|
-- instruction: the text instruction name ie. "ADD_VAR"
|
-- paramiters: the number of fields or paramiters passed
|
-- paramiters: the number of fields or paramiters passed
|
--
|
--
|
-- Some basic instruction are created here, the user should create new
|
-- Some basic instruction are created here, the user should create new
|
-- instructions below the standard ones.
|
-- instructions below the standard ones.
|
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
define_instruction(inst_list, "DEFINE_VAR", 2); -- Define a Variable
|
define_instruction(inst_list, "DEFINE_VAR", 2); -- Define a Variable
|
define_instruction(inst_list, "EQU_VAR", 2);
|
define_instruction(inst_list, "EQU_VAR", 2);
|
define_instruction(inst_list, "ADD_VAR", 2);
|
define_instruction(inst_list, "ADD_VAR", 2);
|
define_instruction(inst_list, "SUB_VAR", 2);
|
define_instruction(inst_list, "SUB_VAR", 2);
|
define_instruction(inst_list, "CALL", 1);
|
define_instruction(inst_list, "CALL", 1);
|
define_instruction(inst_list, "RETURN_CALL", 0);
|
define_instruction(inst_list, "RETURN_CALL", 0);
|
define_instruction(inst_list, "JUMP", 1);
|
define_instruction(inst_list, "JUMP", 1);
|
define_instruction(inst_list, "LOOP", 1);
|
define_instruction(inst_list, "LOOP", 1);
|
define_instruction(inst_list, "END_LOOP", 0);
|
define_instruction(inst_list, "END_LOOP", 0);
|
define_instruction(inst_list, "IF", 3);
|
define_instruction(inst_list, "IF", 3);
|
define_instruction(inst_list, "ELSEIF", 3);
|
define_instruction(inst_list, "ELSEIF", 3);
|
define_instruction(inst_list, "ELSE", 0);
|
define_instruction(inst_list, "ELSE", 0);
|
define_instruction(inst_list, "END_IF", 0);
|
define_instruction(inst_list, "END_IF", 0);
|
define_instruction(inst_list, "WHILE", 3);
|
define_instruction(inst_list, "WHILE", 3);
|
define_instruction(inst_list, "END_WHILE", 0);
|
define_instruction(inst_list, "END_WHILE", 0);
|
define_instruction(inst_list, "MESSAGES_OFF", 0);
|
define_instruction(inst_list, "MESSAGES_OFF", 0);
|
define_instruction(inst_list, "MESSAGES_ON", 0);
|
define_instruction(inst_list, "MESSAGES_ON", 0);
|
define_instruction(inst_list, "ABORT", 0); -- Error exit from sim
|
define_instruction(inst_list, "ABORT", 0); -- Error exit from sim
|
define_instruction(inst_list, "FINISH", 0); -- Normal exit from sim
|
define_instruction(inst_list, "FINISH", 0); -- Normal exit from sim
|
define_instruction(inst_list, "INCLUDE", 1); -- Include a script file
|
define_instruction(inst_list, "INCLUDE", 1); -- Include a script file
|
-- Start User defined instructions
|
-- Start User defined instructions
|
|
|
-- End User defined instructions
|
-- End User defined instructions
|
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
-- Read, test, and load the stimulus file
|
-- Read, test, and load the stimulus file
|
read_instruction_file(stimulus_file, inst_list, defined_vars, inst_sequ,
|
read_instruction_file(stimulus_file, inst_list, defined_vars, inst_sequ,
|
file_list);
|
file_list);
|
|
|
-- initialize last info
|
-- initialize last info
|
last_sequ_num := 0;
|
last_sequ_num := 0;
|
last_sequ_ptr := inst_sequ;
|
last_sequ_ptr := inst_sequ;
|
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
-- Using the Instruction record list, get the instruction and implement
|
-- Using the Instruction record list, get the instruction and implement
|
-- it as per the statements in the elsif tree.
|
-- it as per the statements in the elsif tree.
|
while(v_line < inst_sequ.num_of_lines) loop
|
while(v_line < inst_sequ.num_of_lines) loop
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
--if(instruction(1 to len) = "DEFINE_VAR") then
|
--if(instruction(1 to len) = "DEFINE_VAR") then
|
-- null; -- This instruction was implemented while reading the file
|
-- null; -- This instruction was implemented while reading the file
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
if(instruction(1 to len) = "INCLUDE") then
|
if(instruction(1 to len) = "INCLUDE") then
|
null; -- This instruction was implemented while reading the file
|
null; -- This instruction was implemented while reading the file
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "ABORT") then
|
elsif(instruction(1 to len) = "ABORT") then
|
assert (false)
|
assert (false)
|
report "The test has aborted due to an error!!"
|
report "The test has aborted due to an error!!"
|
severity failure;
|
severity failure;
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "FINISH") then
|
elsif(instruction(1 to len) = "FINISH") then
|
assert (false)
|
assert (false)
|
report "Test Finished with NO errors!!"
|
report "Test Finished with NO errors!!"
|
severity failure;
|
severity failure;
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "EQU_VAR") then
|
elsif(instruction(1 to len) = "EQU_VAR") then
|
update_variable(defined_vars, par1, par2, valid);
|
update_variable(defined_vars, par1, par2, valid);
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "ADD_VAR") then
|
elsif(instruction(1 to len) = "ADD_VAR") then
|
index_variable(defined_vars, par1, temp_int, valid);
|
index_variable(defined_vars, par1, temp_int, valid);
|
if(valid /= 0) then
|
if(valid /= 0) then
|
temp_int := temp_int + par2;
|
temp_int := temp_int + par2;
|
update_variable(defined_vars, par1, temp_int, valid);
|
update_variable(defined_vars, par1, temp_int, valid);
|
else
|
else
|
assert (false)
|
assert (false)
|
report "ADD_VAR Error: Not a valid Variable??"
|
report "ADD_VAR Error: Not a valid Variable??"
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "SUB_VAR") then
|
elsif(instruction(1 to len) = "SUB_VAR") then
|
index_variable(defined_vars, par1, temp_int, valid);
|
index_variable(defined_vars, par1, temp_int, valid);
|
if(valid /= 0) then
|
if(valid /= 0) then
|
temp_int := temp_int - par2;
|
temp_int := temp_int - par2;
|
update_variable(defined_vars, par1, temp_int, valid);
|
update_variable(defined_vars, par1, temp_int, valid);
|
else
|
else
|
assert (false)
|
assert (false)
|
report "SUB_VAR Error: Not a valid Variable??"
|
report "SUB_VAR Error: Not a valid Variable??"
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "CALL") then
|
elsif(instruction(1 to len) = "CALL") then
|
if(stack_ptr >= 7) then
|
if(stack_ptr >= 7) then
|
assert (false)
|
assert (false)
|
report "Call Error: Stack over run, calls to deeply nested!!"
|
report "Call Error: Stack over run, calls to deeply nested!!"
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
stack(stack_ptr) := v_line;
|
stack(stack_ptr) := v_line;
|
stack_ptr := stack_ptr + 1;
|
stack_ptr := stack_ptr + 1;
|
v_line := par1 - 1;
|
v_line := par1 - 1;
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "RETURN_CALL") then
|
elsif(instruction(1 to len) = "RETURN_CALL") then
|
if(stack_ptr <= 0) then
|
if(stack_ptr <= 0) then
|
assert (false)
|
assert (false)
|
report "Call Error: Stack under run??"
|
report "Call Error: Stack under run??"
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
stack_ptr := stack_ptr - 1;
|
stack_ptr := stack_ptr - 1;
|
v_line := stack(stack_ptr);
|
v_line := stack(stack_ptr);
|
|
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
elsif(instruction(1 to len) = "JUMP") then
|
elsif(instruction(1 to len) = "JUMP") then
|
v_line := par1 - 1;
|
v_line := par1 - 1;
|
wh_state := false;
|
wh_state := false;
|
wh_stack := (others => 0);
|
wh_stack := (others => 0);
|
wh_dpth := 0;
|
wh_dpth := 0;
|
wh_ptr := 0;
|
wh_ptr := 0;
|
stack := (others => 0);
|
stack := (others => 0);
|
stack_ptr := 0;
|
stack_ptr := 0;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "LOOP") then
|
elsif (instruction(1 to len) = "LOOP") then
|
loop_num := loop_num + 1;
|
loop_num := loop_num + 1;
|
loop_line(loop_num) := v_line;
|
loop_line(loop_num) := v_line;
|
curr_loop_count(loop_num) := 0;
|
curr_loop_count(loop_num) := 0;
|
term_loop_count(loop_num) := par1;
|
term_loop_count(loop_num) := par1;
|
assert (messages)
|
assert (messages)
|
report LF & "Executing LOOP Command" &
|
report LF & "Executing LOOP Command" &
|
LF & " Nested Loop:" & HT & integer'image(loop_num) &
|
LF & " Nested Loop:" & HT & integer'image(loop_num) &
|
LF & " Loop Length:" & HT & integer'image(par1)
|
LF & " Loop Length:" & HT & integer'image(par1)
|
severity note;
|
severity note;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "END_LOOP") then
|
elsif (instruction(1 to len) = "END_LOOP") then
|
curr_loop_count(loop_num) := curr_loop_count(loop_num) + 1;
|
curr_loop_count(loop_num) := curr_loop_count(loop_num) + 1;
|
if (curr_loop_count(loop_num) = term_loop_count(loop_num)) then
|
if (curr_loop_count(loop_num) = term_loop_count(loop_num)) then
|
loop_num := loop_num - 1;
|
loop_num := loop_num - 1;
|
else
|
else
|
v_line := loop_line(loop_num);
|
v_line := loop_line(loop_num);
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "IF") then
|
elsif (instruction(1 to len) = "IF") then
|
if_state := false;
|
if_state := false;
|
case par2 is
|
case par2 is
|
when 0 => if(par1 = par3) then if_state := true; end if;
|
when 0 => if(par1 = par3) then if_state := true; end if;
|
when 1 => if(par1 > par3) then if_state := true; end if;
|
when 1 => if(par1 > par3) then if_state := true; end if;
|
when 2 => if(par1 < par3) then if_state := true; end if;
|
when 2 => if(par1 < par3) then if_state := true; end if;
|
when 3 => if(par1 /= par3) then if_state := true; end if;
|
when 3 => if(par1 /= par3) then if_state := true; end if;
|
when 4 => if(par1 >= par3) then if_state := true; end if;
|
when 4 => if(par1 >= par3) then if_state := true; end if;
|
when 5 => if(par1 <= par3) then if_state := true; end if;
|
when 5 => if(par1 <= par3) then if_state := true; end if;
|
when others =>
|
when others =>
|
assert (false)
|
assert (false)
|
report LF & "ERROR: IF instruction got an unexpected value" &
|
report LF & "ERROR: IF instruction got an unexpected value" &
|
LF & " in parameter 2!" & LF &
|
LF & " in parameter 2!" & LF &
|
"Found on line " & (ew_to_str(file_line,dec)) & " in file " & file_name
|
"Found on line " & (ew_to_str(file_line,dec)) & " in file " & file_name
|
severity failure;
|
severity failure;
|
end case;
|
end case;
|
|
|
if(if_state = false) then
|
if(if_state = false) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
while(instruction(1 to len) /= "ELSE" and
|
while(instruction(1 to len) /= "ELSE" and
|
instruction(1 to len) /= "ELSEIF" and
|
instruction(1 to len) /= "ELSEIF" and
|
instruction(1 to len) /= "END_IF") loop
|
instruction(1 to len) /= "END_IF") loop
|
if(v_line < inst_sequ.num_of_lines) then
|
if(v_line < inst_sequ.num_of_lines) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
else
|
else
|
assert (false)
|
assert (false)
|
report LF & "ERROR: IF instruction unable to find terminating" &
|
report LF & "ERROR: IF instruction unable to find terminating" &
|
LF & " ELSE, ELSEIF or END_IF statement."
|
LF & " ELSE, ELSEIF or END_IF statement."
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
end loop;
|
end loop;
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "ELSEIF") then
|
elsif (instruction(1 to len) = "ELSEIF") then
|
if(if_state = true) then -- if the if_state is true then skip to the end
|
if(if_state = true) then -- if the if_state is true then skip to the end
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
while(instruction(1 to len) /= "END_IF") loop
|
while(instruction(1 to len) /= "END_IF") loop
|
if(v_line < inst_sequ.num_of_lines) then
|
if(v_line < inst_sequ.num_of_lines) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
else
|
else
|
assert (false)
|
assert (false)
|
report LF & "ERROR: IF instruction unable to find terminating" &
|
report LF & "ERROR: IF instruction unable to find terminating" &
|
LF & " ELSE, ELSEIF or END_IF statement."
|
LF & " ELSE, ELSEIF or END_IF statement."
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
end loop;
|
end loop;
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
|
|
else
|
else
|
case par2 is
|
case par2 is
|
when 0 => if(par1 = par3) then if_state := true; end if;
|
when 0 => if(par1 = par3) then if_state := true; end if;
|
when 1 => if(par1 > par3) then if_state := true; end if;
|
when 1 => if(par1 > par3) then if_state := true; end if;
|
when 2 => if(par1 < par3) then if_state := true; end if;
|
when 2 => if(par1 < par3) then if_state := true; end if;
|
when 3 => if(par1 /= par3) then if_state := true; end if;
|
when 3 => if(par1 /= par3) then if_state := true; end if;
|
when 4 => if(par1 >= par3) then if_state := true; end if;
|
when 4 => if(par1 >= par3) then if_state := true; end if;
|
when 5 => if(par1 <= par3) then if_state := true; end if;
|
when 5 => if(par1 <= par3) then if_state := true; end if;
|
when others =>
|
when others =>
|
assert (false)
|
assert (false)
|
report LF & "ERROR: ELSEIF instruction got an unexpected value" &
|
report LF & "ERROR: ELSEIF instruction got an unexpected value" &
|
LF & " in parameter 2!" & LF &
|
LF & " in parameter 2!" & LF &
|
"Found on line " & (ew_to_str(file_line,dec)) & " in file " & file_name
|
"Found on line " & (ew_to_str(file_line,dec)) & " in file " & file_name
|
severity failure;
|
severity failure;
|
end case;
|
end case;
|
|
|
if(if_state = false) then
|
if(if_state = false) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
while(instruction(1 to len) /= "ELSE" and
|
while(instruction(1 to len) /= "ELSE" and
|
instruction(1 to len) /= "ELSEIF" and
|
instruction(1 to len) /= "ELSEIF" and
|
instruction(1 to len) /= "END_IF") loop
|
instruction(1 to len) /= "END_IF") loop
|
if(v_line < inst_sequ.num_of_lines) then
|
if(v_line < inst_sequ.num_of_lines) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
else
|
else
|
assert (false)
|
assert (false)
|
report LF & "ERROR: ELSEIF instruction unable to find terminating" &
|
report LF & "ERROR: ELSEIF instruction unable to find terminating" &
|
LF & " ELSE, ELSEIF or END_IF statement."
|
LF & " ELSE, ELSEIF or END_IF statement."
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
end loop;
|
end loop;
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
end if;
|
end if;
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "ELSE") then
|
elsif (instruction(1 to len) = "ELSE") then
|
if(if_state = true) then -- if the if_state is true then skip the else
|
if(if_state = true) then -- if the if_state is true then skip the else
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
while(instruction(1 to len) /= "END_IF") loop
|
while(instruction(1 to len) /= "END_IF") loop
|
if(v_line < inst_sequ.num_of_lines) then
|
if(v_line < inst_sequ.num_of_lines) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
else
|
else
|
assert (false)
|
assert (false)
|
report LF & "ERROR: IF instruction unable to find terminating" &
|
report LF & "ERROR: IF instruction unable to find terminating" &
|
LF & " ELSE, ELSEIF or END_IF statement."
|
LF & " ELSE, ELSEIF or END_IF statement."
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
end loop;
|
end loop;
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
v_line := v_line - 1; -- re-align so it will be operated on.
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "END_IF") then
|
elsif (instruction(1 to len) = "END_IF") then
|
null; -- instruction is a place holder for finding the end of IF.
|
null; -- instruction is a place holder for finding the end of IF.
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "WHILE") then
|
elsif (instruction(1 to len) = "WHILE") then
|
wh_state := false;
|
wh_state := false;
|
case par2 is
|
case par2 is
|
when 0 => if(par1 = par3) then wh_state := true; end if;
|
when 0 => if(par1 = par3) then wh_state := true; end if;
|
when 1 => if(par1 > par3) then wh_state := true; end if;
|
when 1 => if(par1 > par3) then wh_state := true; end if;
|
when 2 => if(par1 < par3) then wh_state := true; end if;
|
when 2 => if(par1 < par3) then wh_state := true; end if;
|
when 3 => if(par1 /= par3) then wh_state := true; end if;
|
when 3 => if(par1 /= par3) then wh_state := true; end if;
|
when 4 => if(par1 >= par3) then wh_state := true; end if;
|
when 4 => if(par1 >= par3) then wh_state := true; end if;
|
when 5 => if(par1 <= par3) then wh_state := true; end if;
|
when 5 => if(par1 <= par3) then wh_state := true; end if;
|
when others =>
|
when others =>
|
assert (false)
|
assert (false)
|
report LF & "ERROR: WHILE instruction got an unexpected value" &
|
report LF & "ERROR: WHILE instruction got an unexpected value" &
|
LF & " in parameter 2!" & LF &
|
LF & " in parameter 2!" & LF &
|
"Found on line " & (ew_to_str(file_line,dec)) & " in file " & file_name
|
"Found on line " & (ew_to_str(file_line,dec)) & " in file " & file_name
|
severity failure;
|
severity failure;
|
end case;
|
end case;
|
|
|
if(wh_state = true) then
|
if(wh_state = true) then
|
wh_stack(wh_ptr) := v_line;
|
wh_stack(wh_ptr) := v_line;
|
wh_ptr := wh_ptr + 1;
|
wh_ptr := wh_ptr + 1;
|
else
|
else
|
wh_end := false;
|
wh_end := false;
|
while(wh_end /= true) loop
|
while(wh_end /= true) loop
|
if(v_line < inst_sequ.num_of_lines) then
|
if(v_line < inst_sequ.num_of_lines) then
|
v_line := v_line + 1;
|
v_line := v_line + 1;
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
access_inst_sequ(inst_sequ, defined_vars, file_list, v_line, instruction,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
par1, par2, par3, par4, par5, par6, txt, len, file_name, file_line,
|
last_sequ_num, last_sequ_ptr);
|
last_sequ_num, last_sequ_ptr);
|
else
|
else
|
assert (false)
|
assert (false)
|
report LF & "ERROR: WHILE instruction unable to find terminating" &
|
report LF & "ERROR: WHILE instruction unable to find terminating" &
|
LF & " END_WHILE statement."
|
LF & " END_WHILE statement."
|
severity failure;
|
severity failure;
|
end if;
|
end if;
|
|
|
-- if is a while need to escape it
|
-- if is a while need to escape it
|
if(instruction(1 to len) = "WHILE") then
|
if(instruction(1 to len) = "WHILE") then
|
wh_dpth := wh_dpth + 1;
|
wh_dpth := wh_dpth + 1;
|
-- if is the end_while we are looking for
|
-- if is the end_while we are looking for
|
elsif(instruction(1 to len) = "END_WHILE") then
|
elsif(instruction(1 to len) = "END_WHILE") then
|
if(wh_dpth = 0) then
|
if(wh_dpth = 0) then
|
wh_end := true;
|
wh_end := true;
|
else
|
else
|
wh_dpth := wh_dpth - 1;
|
wh_dpth := wh_dpth - 1;
|
end if;
|
end if;
|
end if;
|
end if;
|
end loop;
|
end loop;
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "END_WHILE") then
|
elsif (instruction(1 to len) = "END_WHILE") then
|
if(wh_ptr > 0) then
|
if(wh_ptr > 0) then
|
v_line := wh_stack(wh_ptr - 1) - 1;
|
v_line := wh_stack(wh_ptr - 1) - 1;
|
wh_ptr := wh_ptr - 1;
|
wh_ptr := wh_ptr - 1;
|
end if;
|
end if;
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "MESSAGES_OFF") then
|
elsif (instruction(1 to len) = "MESSAGES_OFF") then
|
messages := TRUE;
|
messages := TRUE;
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
elsif (instruction(1 to len) = "MESSAGES_ON") then
|
elsif (instruction(1 to len) = "MESSAGES_ON") then
|
messages := FALSE;
|
messages := FALSE;
|
|
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
-- USER Istruction area. Add all user instructions below this
|
-- USER Istruction area. Add all user instructions below this
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
-- elsif (instruction(1 to len) = "RESET_SYS") then
|
-- elsif (instruction(1 to len) = "RESET_SYS") then
|
|
|
|
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
-- USER Istruction area. Add all user instructions above this
|
-- USER Istruction area. Add all user instructions above this
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
--------------------------------------------------------------------------
|
-- catch those little mistakes
|
-- catch those little mistakes
|
else
|
else
|
assert (false)
|
assert (false)
|
report LF & "ERROR: Seems the command " & instruction(1 to len) & " was defined but" & LF &
|
report LF & "ERROR: Seems the command " & instruction(1 to len) & " was defined but" & LF &
|
"was not found in the elsif chain, please check spelling."
|
"was not found in the elsif chain, please check spelling."
|
severity failure;
|
severity failure;
|
end if; -- else if structure end
|
end if; -- else if structure end
|
-- after the instruction is finished print out any txt and sub vars
|
-- after the instruction is finished print out any txt and sub vars
|
txt_print_wvar(defined_vars, txt, hex);
|
txt_print_wvar(defined_vars, txt, hex);
|
end loop; -- Main Loop end
|
end loop; -- Main Loop end
|
|
|
assert (false)
|
assert (false)
|
report LF & "The end of the simulation! It was not terminated as expected." & LF
|
report LF & "The end of the simulation! It was not terminated as expected." & LF
|
severity failure;
|
severity failure;
|
|
|
end process Read_file;
|
end process Read_file;
|
|
|
|
|
end bhv;
|
end bhv;
|
-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
-- Revision History:
|
-- Revision History:
|
-- version 1.4
|
-- version 1.4
|
-- $Log: not supported by cvs2svn $
|
-- $Log: not supported by cvs2svn $
|
-- Revision 1.3 2007/11/14 02:35:56 sckoarn
|
-- Revision 1.3 2007/11/14 02:35:56 sckoarn
|
-- Fix to WHILE instruction: Change if_state typo to wh_state
|
-- Fix to WHILE instruction: Change if_state typo to wh_state
|
--
|
--
|
-- Revision 1.2 2007/09/02 04:04:04 sckoarn
|
-- Revision 1.2 2007/09/02 04:04:04 sckoarn
|
-- Update of version 1.2 tb_pkg
|
-- Update of version 1.2 tb_pkg
|
-- See documentation for details
|
-- See documentation for details
|
--
|
--
|
-- Revision 1.1.1.1 2007/04/06 04:06:48 sckoarn
|
-- Revision 1.1.1.1 2007/04/06 04:06:48 sckoarn
|
-- Import of the vhld_tb
|
-- Import of the vhld_tb
|
--
|
--
|
--
|
--
|
-------------------------------------------------------------------------------
|
-------------------------------------------------------------------------------
|
|
|
