diff --git a/docs/now/2026-09-24-published-test-the-1-untested-function-in-specs-fpga-testbench-vcd-tra.md b/docs/now/2026-09-24-published-test-the-1-untested-function-in-specs-fpga-testbench-vcd-tra.md new file mode 100644 index 0000000000..caa9f881d5 --- /dev/null +++ b/docs/now/2026-09-24-published-test-the-1-untested-function-in-specs-fpga-testbench-vcd-tra.md @@ -0,0 +1,11 @@ +# NOW -- Test the 1 untested function in specs/fpga/testbench/vcd_trace_tb.t27 (published 2026-09-24) + +## A bee's work on #4698, published from `queen-4698` (Closes #4698) + +- The branch changes 1 file(s): `specs/fpga/testbench/vcd_trace_tb.t27`. +- `git diff --stat origin/master...queen-4698` reads: 1 file changed, 6 insertions(+) +- This entry is written by the publisher, not by the bee. A pull request must + add exactly one `docs/now/` entry and a bee has no way to know that: its brief + names a boundary file and acceptance criteria, and `docs/now/` is neither. +- What this entry does NOT establish: that the work is correct. The gates on the + pull request judge that, and they are the same gates every other change meets. diff --git a/specs/fpga/testbench/vcd_trace_tb.t27 b/specs/fpga/testbench/vcd_trace_tb.t27 index b5a42a5dcf..a268a29b89 100644 --- a/specs/fpga/testbench/vcd_trace_tb.t27 +++ b/specs/fpga/testbench/vcd_trace_tb.t27 @@ -73,6 +73,12 @@ module VCD_Trace_Testbench { invariant TIMESTAMP_RES_PS == 10; } + test test_tick { + tick(); + invariant clk == true; + invariant timestamp_ps == 10; + } + invariant max_signals_positive : MAX_SIGNALS > 0; invariant resolution_positive : TIMESTAMP_RES_PS > 0;