WIP: Blog

Author: LarsAsplund

docs/blog/vhdl_configurations.rst

@@ -32,16 +32,6 @@ begin
   end process;
 end;
 
-configuration dff_rtl of tb_selecting_dut_with_vhdl_configuration is
-  for tb
-    for test_fixture
-      for dut : dff
-        use entity work.dff(rtl);
-      end for;
-    end for;
-  end for;
-end;
-
 architecture behavioral of dff is
 begin
   process
@@ -50,13 +40,3 @@ begin
     q <= (others => '0') when reset else d;
   end process;
 end;
-
-configuration dff_behavioral of tb_selecting_dut_with_vhdl_configuration is
-  for tb
-    for test_fixture
-      for dut : dff
-        use entity work.dff(behavioral);
-      end for;
-    end for;
-  end for;
-end;

examples/vhdl/vhdl_configuration/dff.vhd

@@ -18,7 +18,7 @@ entity tb_selecting_dut_with_generate_statement is
   generic(
     runner_cfg : string;
     width : positive;
-    dff_arch : string
+    dut_arch : string
   );
 end entity;
 
@@ -64,7 +64,7 @@ begin
   begin
     clk <= not clk after clk_period / 2;
 
-    dut_selection : if dff_arch = "rtl" generate
+    dut_selection : if dut_arch = "rtl" generate
       dut : entity work.dff(rtl)
         generic map(
           width => width
@@ -76,7 +76,7 @@ begin
           q => q
         );
 
-    elsif dff_arch = "behavioral" generate
+    elsif dut_arch = "behavioral" generate
       dut : entity work.dff(behavioral)
         generic map(
           width => width
@@ -89,7 +89,7 @@ begin
         );
 
     else generate
-      error("Unknown DFF architecture");
+      error("Unknown DUT architecture");
     end generate;
   end block;
 end architecture;

examples/vhdl/vhdl_configuration/handling_generics_limitation/tb_selecting_dut_with_generate_statement.vhd

@@ -52,7 +52,7 @@ def hook(output_path):
 tb = lib.test_bench("tb_selecting_dut_with_generate_statement")
 for width in [8, 32]:
     for arch in ["rtl", "behavioral"]:
-        tb.add_config(name=f"dff_{arch}_width={width}", generics=dict(dff_arch=arch, width=width))
+        tb.add_config(name=f"dut_{arch}_width={width}", generics=dict(dut_arch=arch, width=width))
 
 # Instead of having a testbench containing a shared test fixture
 # and then use VHDL configurations to select different test runners implementing

examples/vhdl/vhdl_configuration/run.py

@@ -78,7 +78,7 @@ begin
   begin
     clk <= not clk after clk_period / 2;
 
-    dut : dff
+    dut : component dff
       generic map(
         width => width
       )
@@ -90,3 +90,23 @@ begin
       );
   end block;
 end architecture;
+
+configuration rtl of tb_selecting_dut_with_vhdl_configuration is
+  for tb
+    for test_fixture
+      for dut : dff
+        use entity work.dff(rtl);
+      end for;
+    end for;
+  end for;
+end;
+
+configuration behavioral of tb_selecting_dut_with_vhdl_configuration is
+  for tb
+    for test_fixture
+      for dut : dff
+        use entity work.dff(behavioral);
+      end for;
+    end for;
+  end for;
+end;

examples/vhdl/vhdl_configuration/tb_selecting_dut_with_vhdl_configuration.vhd

@@ -46,6 +46,18 @@ architecture tb of tb_selecting_test_runner_with_vhdl_configuration is
     );
   end component;
 
+  component dff is
+    generic(
+      width : positive := width
+    );
+    port(
+      clk : in std_logic;
+      reset : in std_logic;
+      d : in std_logic_vector(width - 1 downto 0);
+      q : out std_logic_vector(width - 1 downto 0)
+    );
+  end component;
+
 begin
   test_runner_inst : test_runner
     generic map(
@@ -64,7 +76,7 @@ begin
   begin
     clk <= not clk after clk_period / 2;
 
-    dut : entity work.dff(rtl)
+    dut : component dff
       generic map(
         width => width
       )

examples/vhdl/vhdl_configuration/tb_selecting_test_runner_with_vhdl_configuration.vhd

@@ -28,10 +28,30 @@ begin
   test_runner_watchdog(runner, 10 * clk_period);
 end;
 
-configuration test_reset of tb_selecting_test_runner_with_vhdl_configuration is
+configuration test_reset_behavioral of tb_selecting_test_runner_with_vhdl_configuration is
   for tb
     for test_runner_inst : test_runner
       use entity work.test_runner(test_reset_a);
     end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(behavioral);
+      end for;
+    end for;
+  end for;
+end;
+
+configuration test_reset_rtl of tb_selecting_test_runner_with_vhdl_configuration is
+  for tb
+    for test_runner_inst : test_runner
+      use entity work.test_runner(test_reset_a);
+    end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(rtl);
+      end for;
+    end for;
   end for;
 end;

examples/vhdl/vhdl_configuration/test_reset.vhd

@@ -34,10 +34,30 @@ begin
   test_runner_watchdog(runner, 10 * clk_period);
 end;
 
-configuration test_state_change of tb_selecting_test_runner_with_vhdl_configuration is
+configuration test_state_change_behavioral of tb_selecting_test_runner_with_vhdl_configuration is
   for tb
     for test_runner_inst : test_runner
       use entity work.test_runner(test_state_change_a);
     end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(behavioral);
+      end for;
+    end for;
+  end for;
+end;
+
+configuration test_state_change_rtl of tb_selecting_test_runner_with_vhdl_configuration is
+  for tb
+    for test_runner_inst : test_runner
+      use entity work.test_runner(test_state_change_a);
+    end for;
+
+    for test_fixture
+      for dut : dff
+        use entity work.dff(rtl);
+      end for;
+    end for;
   end for;
 end;

examples/vhdl/vhdl_configuration/test_state_change.vhd

@@ -181,22 +181,24 @@ def test_vhdl_configuration_example_project(self):
         check_report(
             self.report_file,
             [
-                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.dff_rtl.Test reset"),
-                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.dff_behavioral.Test reset"),
-                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.dff_rtl.Test state change"),
-                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.dff_behavioral.Test state change"),
-                ("passed", "lib.tb_selecting_test_runner_with_vhdl_configuration.test_reset"),
-                ("passed", "lib.tb_selecting_test_runner_with_vhdl_configuration.test_state_change"),
+                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.rtl.Test reset"),
+                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.behavioral.Test reset"),
+                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.rtl.Test state change"),
+                ("passed", "lib.tb_selecting_dut_with_vhdl_configuration.behavioral.Test state change"),
+                ("passed", "lib.tb_selecting_test_runner_with_vhdl_configuration.test_reset_behavioral"),
+                ("passed", "lib.tb_selecting_test_runner_with_vhdl_configuration.test_reset_rtl"),
+                ("passed", "lib.tb_selecting_test_runner_with_vhdl_configuration.test_state_change_behavioral"),
+                ("passed", "lib.tb_selecting_test_runner_with_vhdl_configuration.test_state_change_rtl"),
                 ("passed", "lib.tb_reset.width=8"),
                 ("passed", "lib.tb_reset.width=32"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_rtl_width=8.Test reset"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_behavioral_width=8.Test reset"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_rtl_width=32.Test reset"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_behavioral_width=32.Test reset"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_rtl_width=8.Test state change"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_behavioral_width=8.Test state change"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_rtl_width=32.Test state change"),
-                ("passed", "lib.tb_selecting_dut_with_generate_statement.dff_behavioral_width=32.Test state change"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_rtl_width=8.Test reset"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_behavioral_width=8.Test reset"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_rtl_width=32.Test reset"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_behavioral_width=32.Test reset"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_rtl_width=8.Test state change"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_behavioral_width=8.Test state change"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_rtl_width=32.Test state change"),
+                ("passed", "lib.tb_selecting_dut_with_generate_statement.dut_behavioral_width=32.Test state change"),
                 ("passed", "lib.tb_state_change.width=8"),
                 ("passed", "lib.tb_state_change.width=32"),
             ],