Work
Everything below was generated and verified with the same AI-assisted method: a design is built as a math reference, then a hardware-timed model, then the circuit, and each layer is machine-checked against the one above it. The result is hardware that is fast, compact, and proven correct by construction. These are described in plain terms; the underlying numbers live in the design reports.
The framework
An AI-assisted toolchain that turns a high-level algorithm into trustworthy FPGA hardware. Where a known design family fits, it emits proven hardware directly; where it does not, it explores carefully and folds the result back into the library. The verification chain is what makes its output trustworthy.
802.11a Wi-Fi receiver
A complete Wi-Fi receiver, generated without anyone hand-writing the hardware, that decodes standard signals end to end and runs on a pocket-sized, USB-powered radio. Fed a standard waveform from MATLAB's own toolbox, it recovers the transmitted image bit-for-bit across every supported modulation.
5G error-correction decoder
The forward-error-correction engine at the heart of a 5G base station, generated and tuned automatically across a wide range of code configurations and reaching clock speeds on par with commercial-grade IP. It shows that disciplined automation can match hand-optimized hardware at scale.
Deep-space decoder
An error-correction decoder for the codes that protect interplanetary links, where a signal crossing the solar system must survive extreme noise. Generated as a family spanning several code sizes and rates for satellite and deep-space missions.
Streaming spectral engine
A fast Fourier transform core, the spectral heart of OFDM radios such as Wi-Fi and 5G. It streams one sample per clock without stalling and adapts cleanly to different transform sizes.
Digital filter library
A family of configurable filters for conditioning radio signals, from simple anti-aliasing filters to multi-stage rate-changing chains. The generator leans on the FPGA's dedicated arithmetic blocks to keep every design lean.
Convolutional decoder
A maximum-likelihood decoder for the codes used in nearly every wireless standard, from Wi-Fi to satellite links. It decodes continuously and sits in a slower clock region so its feedback loop never holds back the rest of the receiver.
For the formal designs, validation, and measured results, see my publications and open-source repositories.