Make every cycle count.
Design a tiny accelerator. Find its limits. Improve it with evidence.
There is no single best chip.
Click a point to inspect a trade-off.
Lower and left is
better. Error remains a hard constraint.
Make the whole system accountable.
A real trained classifier. A banked-memory accelerator. Independent evidence connecting the two.
Let the measurements argue.
Compare adaptive search, random sampling, and a fixed engineering heuristic under the same evaluation budget.
Reproducibility beats a lucky run.
Loading the published multi-seed experiment…
Pretty pixels. Inspectable proof.
Real hardware tools run remotely. Their results live here alongside the exact scope, toolchain, and limitations.
Understand the trade-off.
A short path from “what is a MAC?” to the assumptions behind this experiment.
Three minutes in the foundry
- Choose a brief. Each kernel has a latency, resource, and numerical-error budget.
- Change the architecture. Bigger arrays add parallelism, but also cost more and need data faster.
- Run an evaluation. Inspect a processing element and step through the actual integer computation.
- Challenge the design. The adversary picks the worst of four defined workload perturbations.
- Ask for a proposal. Compare the architect’s measured candidate, apply it, and rerun.
- Open Evidence. See the RTL, independent tests, synthesis, physical-design results, and limitations.
The engineering contract
ECE: a synthesizable signed streaming outer-product array, optional product register, finite-width accumulation, synchronous reset, and valid/ready flow control.
Computer architecture: host-scheduled tiles, scratchpad cache model, transfer accounting, memory stalls, utilization, tile reuse, and constrained design-space exploration.
ML systems: integer quantization against a floating-point GEMM oracle, per-tensor versus per-output-channel weight scaling, numerical outliers, and surrogate-guided search.
Research: independent differential tests, intentional defect detection, bounded invariants, standard-cell synthesis, physical-design evidence, matched-budget baselines, reproducible seeds.
A model with visible boundaries.
Research that shaped the lab
This project makes no claim to outperform industrial EDA or to have invented autonomous chip design. Its contribution is a coherent, inspectable co-design environment under a small compute budget.