Add the first version of the exercise with test bench

test/tb_Add_DataTypes.vhd

@@ -0,0 +1,71 @@
+library ieee;
+    use ieee.std_logic_1164.all;
+
+library std;
+    use std.env.all;
+
+library work;
+    use work.test_utility.all;
+
+entity tb_Add_DataTypes is
+    generic( CHECK_RESULTS : boolean );
+end;
+
+architecture test of tb_Add_DataTypes is
+    signal operand_a : std_logic_vector( 7 downto 0 );
+    signal operand_b : std_logic_vector( 7 downto 0 );
+    signal result_1  : std_logic_vector( 7 downto 0 );
+    signal result_2  : std_logic_vector( 7 downto 0 );
+begin
+    u_AddDataTypes : entity work.AddDataTypes
+        port map (
+            operand_a => operand_a,
+            operand_b => operand_b,
+            result_1  => result_1,
+            result_2  => result_2
+        );
+
+    delay : process
+        variable result   : std_logic_vector( operand_a'range );
+        variable expected : std_logic_vector( operand_a'range );
+    begin
+        operand_a <= x"05";
+        operand_b <= x"07";
+        wait for 10 ns;
+        result  := result_1;
+        expected := x"14";
+        assert_eq( result, expected );
+
+        result  := result_2;
+        expected := x"14";
+        assert_eq( result, expected );
+
+        operand_a <= x"05";
+        operand_b <= x"f5";
+        wait for 10 ns;
+        result  := result_1;
+        expected := x"02";
+        assert_eq( result, expected );
+        result  := result_2;
+        expected := x"02";
+        assert_eq( result, expected );
+
+        operand_a <= x"f5";
+        operand_b <= x"f7";
+        wait for 10 ns;
+        result  := result_1;
+        expected := x"f4";
+        assert_eq( result, expected );
+
+        result  := result_2;
+        expected := x"f4";
+        assert_eq( result, expected );
+
+        if CHECK_RESULTS = true then
+            finish;
+        else
+            stop;
+        end if;
+    end process delay;
+
+end architecture test;

test/tb_Add_DataTypes.wave

@@ -0,0 +1,2 @@
+$ version 1.1
+/tb_Add_DataTypes/u_AddDataTypes/*

test/test_utility.vhd

@@ -0,0 +1,71 @@
+library ieee;
+    use ieee.std_logic_1164.all;
+    use ieee.numeric_std.all;
+    use ieee.float_pkg.all;
+
+library std;
+    use std.textio.all;
+
+package test_utility is
+    constant TEST_FAIL : string := "[ FAIL ]";
+    constant TEST_OK : string := "[ OK ]" & LF;
+
+    type real_array is array ( natural range <> ) of real;
+
+    procedure assert_eq( variable a : in std_logic_vector; variable b : in std_logic_vector );
+
+    procedure assert_near( variable a : in real;
+        variable b : in real;
+        variable abs_err : in real );
+
+    procedure assert_element_near( variable a : in real;
+        variable b : in real;
+        variable abs_err : in real;
+        variable index : in integer );
+
+end package test_utility;
+
+package body test_utility is
+
+    procedure assert_eq( variable a : in std_logic_vector; variable b : in std_logic_vector ) is
+    begin
+
+        assert( a = b )
+            report TEST_FAIL & "assert_eq" & LF &
+                "    a: " & to_string( a ) & LF &
+                "    b: " & to_string( b ) & LF
+                severity error;
+    end procedure assert_eq;
+
+    procedure assert_near( variable a : in real;
+        variable b : in real;
+        variable abs_err : in real ) is
+        variable abs_diff : real;
+    begin
+        abs_diff := abs( a - b );
+        assert( abs_diff <= abs_err )
+            report TEST_FAIL & "assert_near" & LF &
+                "    a: " & to_string( a ) & LF &
+                "    b: " & to_string( b ) & LF &
+                "    " & to_string( abs_diff ) & " > " & to_string( abs_err ) & LF
+                severity error;
+    end procedure assert_near;
+
+    procedure assert_element_near( variable a : in real;
+        variable b : in real;
+        variable abs_err : in real;
+        variable index : in integer ) is
+        variable abs_diff : real;
+    begin
+        abs_diff := abs( a - b );
+        assert( abs_diff <= abs_err )
+            report TEST_FAIL & "assert_element_near" & LF &
+                "    element: " & integer'image( index ) & LF &
+                "    a: " & to_string( a ) & LF &
+                "    b: " & to_string( b ) & LF &
+                "    " & to_string( abs_diff ) & " > " & to_string( abs_err ) & LF
+                severity error;
+    end procedure assert_element_near;
+
+end package body test_utility;
+

test/vsim.wave

@@ -0,0 +1,24 @@
+onerror {resume}
+quietly WaveActivateNextPane {} 0
+add wave -noupdate /tb_add_datatypes/operand_a
+add wave -noupdate /tb_add_datatypes/operand_b
+add wave -noupdate /tb_add_datatypes/result_1
+add wave -noupdate /tb_add_datatypes/result_2
+TreeUpdate [SetDefaultTree]
+WaveRestoreCursors {{Cursor 1} {0 ns} 0}
+quietly wave cursor active 1
+configure wave -namecolwidth 150
+configure wave -valuecolwidth 100
+configure wave -justifyvalue left
+configure wave -signalnamewidth 0
+configure wave -snapdistance 10
+configure wave -datasetprefix 0
+configure wave -rowmargin 4
+configure wave -childrowmargin 2
+configure wave -gridoffset 0
+configure wave -gridperiod 1
+configure wave -griddelta 40
+configure wave -timeline 0
+configure wave -timelineunits ns
+update
+WaveRestoreZoom {0 ns} {135 ns}