radtol: improve secded_32b testbench

9d62248e · Tristan Gingold · aae6f6df · 9d62248e
Commit 9d62248e authored Dec 08, 2021 by Tristan Gingold
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

tb_secded_32b_pkg.vhd testbench/radtol/tb_secded_32b_pkg.vhd +6 -0

No files found.
--- a/testbench/radtol/tb_secded_32b_pkg.vhd
+++ b/testbench/radtol/tb_secded_32b_pkg.vhd
@@ -28,9 +28,13 @@ begin
  process
  begin
    data <= x"789a_d3f5";
+    syndrome <= "0000000";
    wait for 1 ns;
+    assert f_ecc_errors (syndrome) = '0' severity failure;
+    assert f_ecc_one_error (syndrome) = '0' severity failure;
    ecc <= f_calc_ecc (data);

+    --  Single error (detection and correction)
    for i in 0 to 38 loop
      err <= (others => '0');
      if i < 32 then
@@ -48,6 +52,8 @@ begin
      wait for 1 ns;
      syndrome <= ecc2 xor ecc;
      wait for 1 ns;
+      assert f_ecc_errors (syndrome) = '1' severity failure;
+      assert f_ecc_one_error (syndrome) = '1' severity failure;
      cor <= f_fix_error(syndrome, ecc2, data2);
      wait for 1 ns;
      report "data:  " & image (data) & ", ecc:  " & image (ecc) & ", err: " & image (err) & ", ecc/err: " & image(ecc2);