Projects
Reinforcement Logic Optimization for a General Cost Function
- Developed a program to optimize digital circuits based on a black-box cost estimator, addressing complex optimization beyond traditional PPA metrics.
- Implemented the A2C reinforcement learning algorithm and Simulated Annealing on Yosys-ABC for circuit optimization, achieving up to 55.3% improvement in loss compared to the Greedy algorithm.
Image reference: ICCAD Contest 2024
T-Count Optimization Framework for Clifford+T Quantum Circuits
- Developed a unified T-count optimization framework that integrates multiple reduction techniques including TMerge, Internal-H-OPT and advanced phase polynomial methods such as TODD for efficient circuit synthesis.
- Enhanced overall circuit efficiency by combining Gray synthesis (GraySyn) with T-parallelism (T-Par) strategies to exploit structural regularities and gate-level concurrency.
RISC-V CPU Core with Multi-Cycle Execution and Write-Back Cache
- Developed a CPU supporting multi-cycle operations with a custom multiplication/division unit, adhering to RISC-V instruction set architecture.
- Designed an L1 cache with write-back for faster memory access, achieving a 3× speedup for sorting algorithm.
Decomposing a Unitary Matrix into Basic Quantum Gate Set
- Read in a valid unitary matrix, converting the tensor into several 2-level matrices.
- Use gray-code synthesis to map the matrices into quantum gates, decomposing and optimizing to get the final quantum circuit with the given basic gate sets.
Multimodal Perception of Corner Cases in Autonomous Driving
- Developed a system for multimodal perception and comprehension in autonomous driving, focusing on global scene understanding, local area reasoning, and actionable navigation using the CODA-LM dataset.
- Enhanced the perception capabilities of LLaVA 1.5 7b by fine-tuning LoRA and incorporating additional modules to handle diverse scenes, small objects, and complex driving scenarios effectively.
Image reference: CODA 2024 Workshop
NTUEE LightDance
- Established a C/C++ library for the communication between ATTiny85 board and RPI.
- Constructed the full data path from the latch to the microcontroller and then to the Raspberry Pi for WS2812 LED strips, and from the PCA9955 IC to the Raspberry Pi for optical fiber.
Smart Meeting Cube: Embedded System for Interactive Meeting Management
- Designed a Smart Meeting Cube that streamlines meeting management tasks such as attendance, voting, and speaking requests through interactive cube rotations.
- Implemented face recognition and real-time communication between STM32 and Raspberry Pi using WebSocket.
