Repository navigation
T27 OS: bench.t27 -- boards, provenance of every number, project summary (Closes #11264) - #11267
Merged
Merged
Conversation
…oject summary a BENCH tab draws (Closes #11264) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 20, 2026 07:43
Contributor
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #11264. Child of #11037.
specs/t27os/bench.t27is the data model a BENCH tab and a project-summary strip will draw from: the three dice of the AX7203 bench (busdev 1:4, 1:6, 1:8, added as a column of the existing registry in specs/verified/bench_boards.t27 rather than a second registry), a packed per-die state (cable seen, IDCODE ok, loaded seal prefix and time, LED byte, UART line counter, each with a known bit), the provenance of every number (measured, derived or not measured, the source command and the time), and the T27B/T27C summary row (LUT, FF, BRAM, DSP against the xc7a200t capacities, WNS, TNS, Fmax, build seconds) formatted in integers. A value without a measurement prints "not measured", never 0. Parsers cover the openFPGALoader scan and detect lines, the nextpnr Max frequency line, the receipt fields and UART newlines; each test names the repository file its sample line came from.Measured:
t27b test13 of 13 andt27c test-report13 of 13, 0 vacuous; one expected value was changed to confirm a test fails, then restored. Sealed.Not claimed: no window draws this yet; the host runs no command; the xc7a200t capacities (134600 LUT, 269200 FF, 365 BRAM, 740 DSP) are DS180 figures named in the spec and marked derived; nextpnr prints no WNS, so WNS/TNS stay not measured without a timing report.
🤖 Generated with Claude Code