C-Forge
ML-based configuration space optimization tool that reduced verification effort by 50%+ for ARC Processor IP using intelligent coverage optimization.
ML-based configuration space optimization tool that reduced verification effort by 50%+ for ARC Processor IP using intelligent coverage optimization.
FSDB tracer tool that generates human-readable instruction execution traces from FPGA emulator waveforms, bridging the gap between FPGA and RTL simulation.
SystemVerilog-based processor state-aware test generation framework supporting 50+ verification engineers. Generates billions of instructions daily across ARC processor families.
C-based scenario generator focusing on high-level test scenarios using CSmith. Introduces additional randomization dimensions for processor verification.
AI-ML log anomaly detector using machine learning for automated failure triaging in processor verification regressions. Master's thesis project.
Built project dashboards for verification health monitoring. Evolved from Grafana-based to Streamlit-based solution for better automation and visualization.