diff --git a/docs/now/2026-09-20-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md b/docs/now/2026-09-20-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md new file mode 100644 index 0000000000..d45516bedb --- /dev/null +++ b/docs/now/2026-09-20-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md @@ -0,0 +1,11 @@ +# NOW -- Test the 1 untested function in specs/fpga/partition.t27 (published 2026-09-20) + +## A bee's work on #4447, published from `queen-4447` (Closes #4447) + +- The branch changes 1 file(s): `specs/fpga/partition.t27`. +- `git diff --stat origin/master...queen-4447` reads: 1 file changed, 10 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/docs/now/2026-09-22-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md b/docs/now/2026-09-22-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md new file mode 100644 index 0000000000..ae2c3f5b7f --- /dev/null +++ b/docs/now/2026-09-22-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md @@ -0,0 +1,11 @@ +# NOW -- Test the 1 untested function in specs/fpga/partition.t27 (published 2026-09-22) + +## A bee's work on #4447, published from `queen-4447` (Closes #4447) + +- The branch changes 2 file(s): `docs/now/2026-09-20-published-test-the-1-untested-function-in-specs-fpga-partition-t27.md`, `specs/fpga/partition.t27`. +- `git diff --stat origin/master...queen-4447` reads: 2 files changed, 21 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/partition.t27 b/specs/fpga/partition.t27 index 76854ccd6d..795a312b06 100644 --- a/specs/fpga/partition.t27 +++ b/specs/fpga/partition.t27 @@ -176,6 +176,16 @@ module Partition { and n.device == "xc7a100t" and n.luts == 63400 + test fpga_node_direct + given n = fpga_node("test_fpga", "xc7k325t", 203600, 407200, 445, 840, 500) + then n.name == "test_fpga" + and n.device == "xc7k325t" + and n.luts == 203600 + and n.ffs == 407200 + and n.bram18 == 445 + and n.dsp48 == 840 + and n.io_pins == 500 + test lvds_link_creation given l = lvds_link(0, 1, 8) then l.fpga_a == 0