Skip to content

feat: GF-T backprop microcode generator for the microsequencer - #1864

Merged
gHashTag merged 1 commit into
masterfrom
feat/backprop-microcode
Aug 7, 2026
Merged

feat: GF-T backprop microcode generator for the microsequencer#1864
gHashTag merged 1 commit into
masterfrom
feat/backprop-microcode

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

tools/gft_backprop_microcode.py: generates full-backprop microcode for an arbitrary 2-layer net (n_in, n_hid, n_out) to run on the on-FPGA microsequencer (one shared GftSmul + GftSadd). Self-contained GF-T interpreter; self-test: the generated (2,2,1) XOR microcode trains XOR 4/4. Any topology runs on the SAME ~3K-LUT datapath; only microcode length (time) + register file grow. Makes the microsequencer a programmable ternary NN trainer under the ~17M ceiling. board/bpseq.v is the hand-written (2,2,1), silicon-built at 2.93M fasm. docs/NOW.md updated. Refs #1764

tools/gft_backprop_microcode.py: generates the full-backprop microcode (op, a,
a_mod, b, b_mod, dst steps over a register file) for an arbitrary 2-layer net
(n_in, n_hid, n_out) to run on the on-FPGA microsequencer (one shared GftSmul +
one shared GftSadd). Self-contained GF-T interpreter; self-test: the generated
(2,2,1) XOR microcode trains XOR to 4/4.

Any topology runs on the SAME ~3K-LUT datapath; only microcode length (=time) and
register file grow. Emitting the Verilog case-ROM from steps is mechanical
(board/bpseq.v is the hand-written (2,2,1), silicon-built at 2.93M fasm). Makes
the microsequencer a programmable ternary NN trainer under the ~17M ceiling.

Refs #1764

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-08-07 11:37:45 UTC

Summary

Status Count
Total Open PRs 12
PRs with Failing Checks 0
PRs with All Checks Green 12
READY 5
FAILING 0
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=4c1aaad5309a != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions

github-actions Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@gHashTag
gHashTag merged commit dc46032 into master Aug 7, 2026
17 checks passed
@gHashTag
gHashTag deleted the feat/backprop-microcode branch August 7, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant