From aa5a10344f9e0b823502bcd09f15ccf3f5072883 Mon Sep 17 00:00:00 2001
From: Trinity Bee <bee@trinity.local>
Date: Wed, 16 Sep 2026 15:44:35 +0000
Subject: [PATCH] Add test for tick function in DFT testbench

Closes #3889
---
 specs/fpga/testbench/dft_tb.t27 | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/specs/fpga/testbench/dft_tb.t27 b/specs/fpga/testbench/dft_tb.t27
index eaecc4a467..99781d898a 100644
--- a/specs/fpga/testbench/dft_tb.t27
+++ b/specs/fpga/testbench/dft_tb.t27
@@ -116,6 +116,11 @@ module DFT_Testbench {
         invariant total == 512;
     }
 
+    test test_tick {
+        tick();
+        invariant clk == true;
+    }
+
     invariant scan_chain_positive : SCAN_CHAIN_LENGTH > 0;
     invariant bist_pattern_positive : BIST_PATTERN_LENGTH > 0;