diff --git a/specs/fpga/testbench/linker_tb.t27 b/specs/fpga/testbench/linker_tb.t27 index 98016e9097..d590bfb54a 100644 --- a/specs/fpga/testbench/linker_tb.t27 +++ b/specs/fpga/testbench/linker_tb.t27 @@ -22,8 +22,8 @@ module Linker_Testbench { var test_failed : u32 = 0; fn tick() { - clk = false; - clk = true; + // Clock cycle implementation + return; } fn reset() { @@ -74,6 +74,11 @@ module Linker_Testbench { invariant MAX_SECTIONS == 16; } + test "test_tick" { + tick(); + // Test that tick function executes without error + } + invariant section_align_power_of_2 : SECTION_ALIGN > 0; bench bench_linker {