Skip to content
View nilaymastaadmi's full-sized avatar

Block or report nilaymastaadmi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nilaymastaadmi/README.md

Hi, I'm Nilay

ECE final year at BITS Goa.

I like building.

A snake game playing itself. It only moves toward the food when a path back to its own tail still exists.

Silicon

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  private until 15 Sept RTL optimisation that changes pipeline latency and writes its own proof obligation. Most tools will not touch latency, because proving equivalence across a timing change is the hard part.

Agents

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.

Vision

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.

heart-murmur-index  private 3,163 heart-sound spectrograms, indexed and manifested so the dataset rebuilds without shipping the images around.

SystemVerilog  UVM  SVA  Verilog  Yosys  SKY130  ngspice  Python  C++  PyTorch  Linux

Popular repositories Loading

  1. pcb-drishti-pro pcb-drishti-pro Public

    PCB defect detection with a rupee-cost RELEASE/REWORK/SCRAP decision layer. 0.717 held-out-board mAP@0.5 on board designs the model never trained on, served live on Tata Communications cloud. Vayu …

    Python

  2. rv32-dsp-soc rv32-dsp-soc Public

    A RISC-V RV32I SoC with a GPS L1 C/A correlator as a memory-mapped accelerator. 5.63x measured speedup over the software acquisition search, checked instruction by instruction against an independen…

    Verilog

  3. axi-cdc-uvm axi-cdc-uvm Public

    AXI4-Lite slave with a Gray-coded clock-domain-crossing FIFO, verified to 100% functional coverage with a layered SystemVerilog testbench, a UVM environment, and bound SVA properties.

    SystemVerilog

  4. gmid-char-sky130 gmid-char-sky130 Public

    gm/Id characterisation framework for SKY130 analog design: sweeps device inversion levels, extracts Id/W, intrinsic gain and ft, and sizes transistors from measured data instead of guesswork.

    Python

  5. analog-pmic-sky130 analog-pmic-sky130 Public

    Two-stage Miller-compensated OTA and LDO regulator in SKY130 130nm: gm/Id sizing, 15-corner PVT characterisation, Monte Carlo offset, and measured loop stability.

    Python

  6. market-query-agent market-query-agent Public

    A tool-using LLM agent that answers analytical questions about Indian equity data via SQL — plus the evaluation harness, benchmark, and failure taxonomy that measure how well it actually works.

    Python