M.S. in Electrical Engineering · Columbia University

About

Welcome to my personal website! I am currently pursuing an M.S. in Electrical Engineering at Columbia University, and most of my work is in ASIC design, digital VLSI, computer architecture, and hardware acceleration for machine learning. I am currently looking for a Summer 2026 internship and available from mid-May to early September, so feel free to reach out and chat.

Summer 2026
Internship availability window
4.082
Columbia EE GPA
8+
Highlighted hardware projects
RTL
Design, verification, and implementation mindset
ASIC
Flow from architecture to backend results
ML HW
Interest in accelerators and efficient compute

About Me

Open to Internships
Technical Skills
Simulation & EDA Tools
Cadence (Virtuoso, Spectre, Genus, Innovus), Synopsys (PrimeTime), Vivado, Questa Sim, JasperGold
Programming
Verilog, SystemVerilog, RISC-V, Python (NumPy, PyTorch), C, MATLAB
Design Expertise
ASIC Design Flow, Digital Circuit Design, CNN Accelerators, SAR ADC, Digital Calibration
About Me
Favorite Linux Distro
EndeavourOS
Favorite FPGA Tool
Vivado
Favorite AI Tool
Codex
Most Challenging Experience
Doing the full-custom layout of an 8-bit microcontroller core
What CNN Taught Me
Most of the work is not math. It is dataflow.
Why Build This Website
To share my projects, interests, and the work I am doing in digital IC design, FPGA, and ASICs.

Selected Projects

Selected work across ASIC design, computer architecture, and formal verification.

Feb 2026 - Present · Apple-Sponsored Tape-Out Project
AI Chip

Systolic Array-Based CNN Accelerator for Gesture Recognition

Designed a pure-hardware INT8 CNN accelerator ASIC for 64x64 grayscale gesture recognition in 65 nm, including a 64-PE systolic array, on-chip SRAM architecture, full RTL implementation, synthesis, place-and-route, timing closure, and post-layout verification.

  • Architected a compute-and-memory pipeline around a systolic array and local SRAM buffering for efficient CNN inference.
  • Completed the end-to-end digital flow from RTL to backend implementation and signoff-oriented analysis.
  • Co-optimized model structure and hardware cost for a gesture-recognition tape-out project.

This tape-out project is still in progress. The linked datasheet captures an early architectural concept and does not reflect the final scope or outcome of the project. The public repository currently contains only the CNN training and quantization flow, not the RTL implementation.

ASIC CNN Accelerator Systolic Array Cadence Flow
Mar 2026 - Present · Computer Architecture
ARCHITECTURE

Out-of-Order RISC-V Processor

Designed a P6-style out-of-order RISC-V microarchitecture with a reorder buffer, register alias table, reservation stations, physical register file, precise commit, speculative recovery support, and multi-stage execution coordination across the pipeline.

  • Implemented core OoO structures including register renaming, reservation-station scheduling, ROB-based commit, and branch-misprediction recovery logic.
  • Designed the interaction between issue, execute, writeback, and commit stages to maintain precise architectural state under speculation.
  • Worked through data hazards, dependency tracking, and rollback behavior to better understand performance-oriented CPU microarchitecture.
  • Used the project to connect classroom architecture concepts with concrete RTL-level control and datapath design decisions.

This processor project is still a work in progress, and the current description reflects the architecture and implementation scope completed so far.

RISC-V OoO Core Microarchitecture RTL
Oct 2025 - Dec 2025 · Digital Design
Digital RTL Implementation

64-Tap 16-Bit FIR Digital Filter Core

Designed a fixed-point FIR core with a multiply-accumulate datapath, CMEM/IMEM, FSM-based controller, and a dual-clock FIFO for clock-domain crossing. Completed RTL, synthesis, STA, and post-synthesis verification.

  • Built a complete digital signal-processing pipeline around a parameterized FIR core.
  • Integrated dual-clock FIFO logic to handle CDC between low-speed input and high-speed compute domains.
  • Validated the design through synthesis and timing analysis using industry-standard EDA tools.
FIR CDC FIFO Design Compiler PrimeTime
Oct 2025 - Dec 2025 · Formal Verification
Verification

Formal Verification of an N-Body Hardware Accelerator

Wrote SVA assertions, assumptions, and cover properties in JasperGold to verify FSM transitions, loop-control behavior, and pointer bounds, uncovering corner-case bugs not exposed by simulation.

  • Developed property sets for safety, liveness, and legal state progression.
  • Used formal methods to expose corner cases that would be difficult to hit with directed simulation alone.
  • Strengthened understanding of hardware correctness beyond waveform-based debugging.
Formal Verification JasperGold SVA Debug
Oct 2025 - Dec 2025 · Digital IC Design
Circuit Design

8-Bit Microcontroller Core Design

Completed transistor-level design of an accumulator-based 8-bit microcontroller in TSMC 65 nm using a custom 6-bit ISA, including schematic, layout, verification, and post-layout analysis.

  • Implemented key modules including PLA control logic, accumulator, adder, shifter, memory latch, bus driver, and 8-byte SRAM.
  • Achieved DRC/LVS-clean layout and verified ADD, SHIFT, and full-processor behavior in both pre-layout and post-layout simulation.
  • Completed post-layout analysis with a 354 ps critical path and a core area of about 7267.49 um2.
8-Bit MCU Transistor-Level TSMC 65nm DRC/LVS

Undergraduate Projects at SYSU

Projects completed during my undergraduate years at Sun Yat-sen University, mainly spanning data converters and FPGA-based systems.

Sep 2024 - May 2025 · Undergraduate Thesis
Research

High-Precision SAR ADC Design and Digital Calibration

Joined Associate Professor Xing Xinpeng's research group in senior year to design and verify a capacitor-mismatch digital calibration scheme for a 0.18 um 16-bit SAR ADC.

  • Built a MATLAB behavioral model including capacitor mismatch, comparator noise, and other non-idealities to compare foreground calibration and dither-injection LMS calibration.
  • Implemented and tested the calibration module on FPGA to evaluate both calibration effectiveness and hardware overhead.
  • Improved ENOB from 9.97 bits to 15.67 bits under 3 percent CDAC mismatch.
SAR ADC Digital Calibration MATLAB FPGA
2024 · CICC South China Division Second Prize
Award

8-Bit 10 GSPS Time-Interleaved SAR ADC

Participated in the National College IC Innovation and Entrepreneurship Competition and designed an 8-bit 10 GSPS time-interleaved SAR ADC in TSMC 40 nm.

  • Completed literature review and architecture analysis, then selected a 16-channel TI-SAR solution with 625 MHz sampling rate per channel.
  • Designed and optimized the single-channel SAR ADC in Cadence Virtuoso, including low-power DAC switching, high-linearity sampling switch, low-noise dynamic comparator, and adaptive asynchronous SAR logic.
  • Integrated the 16-channel time-interleaved architecture and completed pre-layout verification across input frequencies, process corners, and temperatures.
TI-SAR ADC TSMC 40nm Virtuoso 10 GSPS
2024 · University Innovation Project
System Build

FPGA-Based Portable Electronic Test System

Built a portable electronic test system integrating a signal generator and oscilloscope on FPGA, and received a university-level excellence award.

  • Developed the signal-generator module using DDS to generate adjustable waveform signals.
  • Integrated oscilloscope functionality with FFT-based spectrum analysis for signal observation and characterization.
  • Took primary responsibility for the signal-generator module and final system integration.
FPGA DDS FFT Signal Generator

Experience

Selected experience and academic background.

Guangzhou CanSemi Technology Inc. · Jul 2024 - Sep 2024

TCAD / Device Engineering Intern

Calibrated a 32 V PMOS TCAD model to foundry recipe data, supported wafer electrical characterization and WAT analysis, and simulated two IGBT structures with contributions to a patent application for a novel device design.

Education

Columbia University / Sun Yat-sen University

M.S. in Electrical Engineering at Columbia University and B.Eng. in Microelectronic Science and Engineering at Sun Yat-sen University. Coursework includes VLSI design, advanced logic design, hardware design, and formal verification.

Contact

Make it easy for recruiters or professors to reach you.