PROJECTS
DMCTP — Hardware & Software Project
A multi-core SoC and simple Unix-like kernel, built alongside an LLVM toolchain, simulator, and verification environment.
Lazy Graph Tensor Execution Runtime
A demand driven runtime for custom tensor pipelines, with a typed
.op kernel DSL, lazy graph execution, LLVM JIT compilation, fusion, caching, memory planning, and profiling.
Systolic Array GEMM Accelerator
INT8/FP8 matrix multiply accelerator, deployed on Zynq FPGA.
LLM Powered Optimizer
A LLM powered autonomous agent that optimizes codes.
UART — UVM and Formal Verification
Dual verification approach with UVM constrained-random testing and formal property-based verification using SymbiYosys.