Featured Projects & Track Record

Showcasing advanced hardware IP design, RISC-V verification, automation, and AI datasets.

RTL Design UVM & Formal

Advanced Cryptographic IP Design & Verification

Designed and implemented AES hardware IP supporting 128-bit, 192-bit, and 256-bit key lengths with modular RTL architecture and pipelining. Developed comprehensive UVM testbenches and utilized formal tools (JasperGold) to verify FIPS-197 compliance and encryption symmetry.

RISC-V Vector Extension

RISC-V Vector Instruction Set Extension Verification

Implemented and validated custom RISC-V Vector ISA extensions supporting accelerated parallel arithmetic, dot products, and matrix multiplication. Created directed assembly test suites and random instruction generators for thorough corner-case validation.

Automation SystemRDL 2.0

Automated Register Generation Using SystemRDL 2.0

Developed automation solutions using SystemRDL 2.0 to generate synthesizable RTL register blocks, UVM RAL models, and documentation. Created conversion scripts and contributed to open-source RDL-to-RAL toolchain evaluations.

AI / LLM Datasets Verification

LLM-Driven Dataset Development for RTL & Verification

Curated high-quality training datasets for Large Language Models covering Verilog/SystemVerilog RTL development, UVM testbench automation, SystemVerilog Assertions (SVA), coverage closure, and automated hardware debugging scenarios.

Trusted By & Collaborating With Global Leaders

Partnering with premier semiconductor companies and research institutions worldwide

Rambus
imec
Turing
Microtech
Open-Source Community Contributions: Active contributors to the hardware verification ecosystem, with continuous code commits to pyUVM and cocotb open-source frameworks since 2020.