rtl/top: wait longer for LED toggle

NikLeberg · Oct 8, 2024 · e3f62de · e3f62de
1 parent 80552ed
commit e3f62de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/vhdl/top/tb/top_tb.vhdl b/vhdl/top/tb/top_tb.vhdl
@@ -76,13 +76,13 @@ BEGIN
 
         FOR i IN 0 TO 3 LOOP
             -- Wait for LSB gpio bit to go low.
-            WAIT UNTIL s_gpio0_o(0) = '0' FOR 200 us;
+            WAIT UNTIL s_gpio0_o(0) = '0' FOR 500 us;
             ASSERT s_gpio0_o(0) = '0'
             REPORT "LED0 was not observed to go low, did hart0 run?"
                 SEVERITY failure;
 
             -- Wait for LSB gpio bit to go high.
-            WAIT UNTIL s_gpio0_o(0) = '1' FOR 200 us;
+            WAIT UNTIL s_gpio0_o(0) = '1' FOR 500 us;
             ASSERT s_gpio0_o(0) = '1'
             REPORT "LED0 was not observed to go high, did hart0 run?"
                 SEVERITY failure;