Stanford Robust Systems Group
Sept 2024 — Present- Designed 7 SystemVerilog RTL modules for accelerator datapaths, covering MAC control, SRAM scheduling, and ready/valid interfaces.
- Authored 45+ SVA properties and 120+ directed and constrained-random tests, uncovering 6 corner cases including deadlock and illegal handshakes.
- Built nightly regressions across 2,000+ simulation seeds, raising functional coverage from 62% to 91%.