PhD Glava 35 — Silicon Submission (Wave-16a integration)

[gHashTag]

Glava 35 — Silicon Submission: Path to Verified Best-in-World TOPS/W

Author: Vasilev Dmitrii <admin@t27.ai> ORCID 0009-0008-4294-6159
Anchor: φ²+φ⁻²=3 · DOI 10.5281/zenodo.19227877
Wave-16a commit ref: 8315a76

Chapter Summary

docs/phd/chapters/flos_35.tex — replaces old stub (567 lines, wrong content) with full Silicon Submission chapter (1,616 lines).

Wave-16a Numbers (ground truth, R5 HONEST)

Metric	Value
gf16_poly_mul cells	34 cells/instance
$mul cells	0 (R-SI-1 PASS)
GF(2⁴) exhaustive test	256/256 PASS
Full poly mesh	1,994 cells (vs 94,993 fp16 S&A, -97.9%)
Critical path	~560 ps → 400 MHz @ 4.5× margin
Zero-skip v2	+5 net cells, +16 ICG FFs, 0/50/75/90% sparsity PASS
Projected 120 TOPS/W	Engineering projection, NOT measured

Sections

• 35.1 Problem: fp16 adder tree 94,993 cells, 25× budget overrun
• 35.2 Solution: GF(2⁴) polynomial multiplier + NorthPole zero-skip
• 35.3 Verification: 256/256 exhaustive + 16/16 zero-skip
• 35.4 Comparative: Trinity vs Hailo-10H vs NorthPole vs Mythic (UNVERIFIED)
• 35.5 Theorem 35.1: TRI-1 MAX 4×4 mesh has 0 $mul cells in Yosys
• 35.6 Falsification (R7): Wave-16b P&R >5,000 cells OR slack<0 → FALSIFIED
• 35.7 Coq citation map (R14): TODO placeholders (honest per R5)
• 35.8 Constitutional compliance: R1, R3, R5, R6, R7, R14, R-SI-1
• 35.9–35.14 Extended analysis, anchor in silicon, path forward

R-Compliance Vector

Rule	Status
R1 (Rust CROWN — no Python)	✅ PASS
R3 (≥1500 lines, ≥2 citations, ≥1 theorem)	✅ 1,616 lines, 6 citations, 1 theorem + 2 lemmas
R5 (HONEST — 120 TOPS/W labelled projection)	✅ PASS
R6 (zero free parameters)	✅ PASS
R7 (falsifier criteria FA, FB, FC)	✅ PASS
R14 (Coq citation map)	✅ TODO-honest (Wave-16b gate)
R-SI-1 (zero $mul, anchor φ²+φ⁻²=3)	✅ PASS

New Bibliography Entries

• modha_northpole_2023 — IBM NorthPole, Science 2023
• platinum_aspdac2026 — Platinum ASIC Lever, arXiv:2511.21910
• hailo10h_datasheet — Hailo-10H datasheet
• zenodo_19227877_phd — Zenodo archive DOI 10.5281/zenodo.19227877

PDF Build

Built with XeLaTeX (tectonic has pre-existing figure-map Unicode error; XeLaTeX succeeds).
PDF verifier: pdftotext main.pdf - | grep -c 'Glava 35' = 12 ✅

DRAFT — pending Wave-16b OpenLane2 P&R verification before merge