ECE final year at BITS Goa.
I like building.
nilaytoshniwal.vercel.app · LinkedIn
axi-cdc-uvm SystemVerilog UVM SVA
An AXI4-Lite slave whose writes cross into an unrelated 27 MHz domain through a gray-coded
FIFO. 100 seeds, 11,495 crossings, zero mismatches, 18/18 coverage. Runs clean on Cadence
Xcelium too.
rv32-dsp-soc Verilog RISC-V
An RV32I core with a GPS correlator hung off the bus. The hardware search runs 5.63x faster
than the software one, and both return the same answer on the same noisy samples. Checked
instruction by instruction against a C++ simulator, not by staring at waveforms.
analog-pmic-sky130 SKY130 ngspice
A two-stage OTA and the LDO built around it. 76 dB gain, 81 degrees phase margin, passing
across all 15 PVT corners plus a 300-sample Monte Carlo.
gmid-char-sky130 SKY130 ngspice
Sweeps the devices so transistor widths come out of a lookup instead of out of guessing.
This is where the sizing data above comes from.
nebula-slacksmith Verilog SymbiYosys OpenSTA
An LLM proposes RTL changes to fix timing, and every change has to be formally proven
before it counts. Of 12 proposals, 3 were wrong. One of those passed 20,000 random
instruction vectors; the proof caught it in 46 seconds. Astera Labs Nebula, Track A.
market-query-agent Python
Answers questions about Indian equity data by writing SQL. 93.8% over 48 questions. Three
failed. I labelled all three by hand, and the automatic classifier got all three wrong.
alpaca-hackathon Python
Sells option premium, but only when volatility is actually expensive. On its first live run
it refused: implied 12.81 against realised 13.28. Every call it makes is signed, so you can
check the log is the log.
jaw2026-trust-reliability Python
333 questions over 687 documents, with no database supplied. It builds one, then answers
from it. 100.000 on the official set.
pcb-drishti-pro Python YOLO
Finds PCB defects and prices them, so the output is SCRAP or RELEASE instead of a box on an
image. 0.717 mAP on board designs it never trained on. Still served: one curl returns live
detections.
quiet-neurons PyTorch JavaScript
A 397k-parameter Dragon Hatchling that runs in your browser. It goes quiet on text it just
learned in context, but not on text it memorised, even though it predicts both almost
perfectly. Try it live, no sign-in.
heart-murmur-index private
3,163 heart-sound spectrograms, indexed and manifested so the dataset rebuilds without
shipping the images around.
portfolio Astro GSAP
My site, drawn as a metro map: five lines, projects as stations, interchanges where work
crosses two fields.
SystemVerilog UVM SVA Verilog Yosys SKY130 ngspice Python C++ PyTorch Linux