Professional Documents
Culture Documents
EDUCATION
Columbia University New York, NY
Master of Science in Electrical Engineering Dec 2023
• Courses: SOC, Formal Verification of HW SW, Advance Logic Design, Heterogeneous Computing for data and signal processing.
SKILLS
• Languages: Verilog, Python, CUDA, OpenCL, SystemC, System Verilog.
• Tools: HSPICE, ModelSim, Quartus Prime, git, vim, Jupyter notebook, MATLAB.
PROJECTS
64 tap, half-precision FIR filter design, and synthesis Nov 2022 - Present
• Designing of 64 tap FIR filter from scratch of half-precision data type, will include a golden model in MATLAB, RTL Design,
synthesis, gate-level stimulation, STA, and memory compilation.
Accelerating a Convolution Neural Network (CNN) for Image Classification Nov 2022 - Present
• Experimenting to accelerate DWARF-7 Convolution Neural Network (CNN).
• Designing one accelerator which is optimized to implement one particular layer of DWARF-7 CNN.
• Working on two metrics, component level, and system level for DWARF-7 CNN to optimize the Pareto curve, and throughput.
Verification of FIFO using Questa PropCheck Formal Tool Nov 2022 - Present
• Working on Questa PropCheck to verify the functioning of the FIFO.
• Using SystemVerilog assertions to assert and cover properties for FIFO.
PROFESSIONAL EXPERIENCE
Defence Research and Development Organisation Bangalore, IN
Project Intern Jan 2022 - May 2022
• Developed a project on "Detection of most frequently occuring research words using LDA" with almost 10,000 words.
• Collected data from over 12 research papers on cognitive science and AI, extracted selected data and made new files of 10,000
words deploying python.
• Plotted almost 10,000 words operating matplotlib and operated K-Means CLustering and LDA topic modeling on these words.