Blog
A post-route CI run gives fifteen instrumented FPGA frequency rows a sourced comparison: fourteen fall inside the flow’s measured noise band, while LNS16 remains an explicit exception and one design is still uninstrumented.
A published FPGA frequency is a claim until the same measurement path can produce it. The G8 audit had sixteen published rows without post-route evidence. Its new CI run gives fifteen instrumented rows a direct comparison and leaves the exceptions named.
Status: [measured — CI post-route]. Run 32263875250 routed the tnf-format-throughput arms for the xc7a200tfbg484-2 target used by the ALINX AX7203 design flow. Fourteen of fifteen instrumented rows fall inside the toolchain’s audited seed band, with CI-to-published ratios from 0.90× to 1.32×.
The comparison band is 1.6–41.7%: the measured seed dispersion of this flow. “Reproduced” therefore means within noise, not equality. Binary16 is 1.00×, int8 and binary32 are 0.97×, and takum16 is 1.09× in the same table. No ranking is inferred from those ratios.
| Row | CI / published | Reading |
|---|---|---|
| binary16 | 1.00× | within band |
| int8 | 0.97× | within band |
| takum16 | 1.09× | within band |
| posit32 | 1.32× | within band |
| LNS16 | 1.46× | outside band |
LNS16 is the one instrumented row outside the band: CI reports 62.66 MHz against a published 43.04 MHz, or 1.46×. The published number has no in-tree record, so the repository now has a sourced CI value and an unresolved provenance question, not a quiet reconciliation.
A second boundary is not a disagreement: “plastic 16-bit, 318.47 MHz” has no harness in this sweep because it is a tab:hierarchy design rather than a tnet tract. The measurement campaign cannot confirm or reject that row yet.
The same record corrects the instrument map. IBM hex32 does have an in-tree harness, s_ibmhfp.v, and routes at 51.72 MHz against a published 46.78 MHz, a ratio of 1.11×. The correction is small; the important part is that the row became inspectable instead of being omitted.
Measured-with-two-exceptions is a result. Unsourced is not a result.
The practical gain is narrower and stronger than a headline: fifteen rows now have CI-sourced comparisons, fourteen agree within the flow’s measured noise, and the two remaining gaps have names. That is enough to decide what to measure next, not enough to declare the whole table settled.
Every figure above is measured, and the limits are named with it.