Domain-specific compute
Explore small RISC-V extensions, low-power accelerators, and fixed-latency datapaths for real-time systems.
An open research program exploring how autonomous engineering agents can design, verify, and improve specialized processors, from RTL to physical silicon.
Make useful processor architecture discoverable, testable, and eventually manufacturable through autonomous engineering.
Can an AI research system propose a hardware architecture, verify its correctness, and demonstrate measurable gains over an honest baseline?
We treat AI-generated engineering ideas as hypotheses, not accomplishments. The research loop demands explicit assumptions, independent tests, reproducible artifacts, and comparison with strong conventional methods. No performance claim is published without a traceable experiment.
A focused technical agenda, structured to produce useful open research artifacts rather than speculative demonstrations.
Explore small RISC-V extensions, low-power accelerators, and fixed-latency datapaths for real-time systems.
Connect structured agent proposals to RTL generation, testbenches, synthesis, and design-space exploration.
Compare area, timing, estimated power, and functional correctness with versioned artifacts.
Generate constrained microarchitecture candidates and inspect the tradeoffs.
Prove functional behavior against independent reference models and randomized tests.
Run synthesis and physical-design estimates with reproducible toolchains.
Retain evidence-backed improvements; reject candidates that fail verification.
Milestones are intentions, not achieved results. Progress and benchmark evidence will be added as they become independently verifiable.
Reproducible RTL baseline, CI, and formalized design constraints
Automated architecture candidate generation and selection
FPGA validation of selected designs
Assess tape-out options after measured feasibility