The Principle of Growth#
Countable Infinity.#
Hardware Architect / Full-Stack Engineer
Zaleph ($\aleph_0$): Represents my pursuit of ‘Countable Infinity’.
Starting from a question about natural numbers and infinity in a library, I have grown into an engineer who seeks the fundamental principles behind technology. I find my greatest motivation in the joy of learning and the correspondence between theory and real-world implementation.
Rebellions Inc.#
NPU Design Engineer & FPGA Emulation Lead#
May 2021 - Present
-
NPU Architecture & RDMA Design: Designing High-Performance NPU interconnects, specifically focusing on InfiniBand (IB) RDMA logic. Solving critical bottlenecks such as HBM direct access contention and designing Weighted Priority Arbiters to optimize bandwidth between Compute Units and Network traffic.
-
FPGA Emulation & Prototyping (Lead): Led the emulation of the ‘ATOM’ chip (1.55B gates). Overcame extreme routing congestion on Synopsys HAPS-100 (VU19P) and Xilinx U250 clusters by implementing custom SerDes logic and manual SLR partitioning.
-
Research & Optimization: First author of ICCAD 2025 paper (CTDM). Developed a resource-efficient FPGA simulation technique using Chain-based Time Division Multiplexing, significantly reducing LUT usage and enabling faster verification.
-
System DMA & Memory Architecture: Designed programmable System DMAs supporting 4-AXI Master SIMD operations and architected a 32MB On-Chip Memory system including cache coherency logic.
-
Co-Simulation Environment: Built a seamless VCS-FPGA co-simulation system to bridge the gap between pre-silicon verification and post-silicon validation.
Samsung Electronics#
Simulation & Verification Engineer (System LSI)#
Feb 2018 - Apr 2021
-
Automotive SoC Verification: Conducted rigorous simulation and performance analysis for Automotive SoCs (Lock-step & Split mode architectures) ensuring compliance with safety standards.
-
ARM Core Optimization: Optimized AMBA Bus interconnects and performed CPU/GPU simulations for Exynos Modems using ARM Cortex (Ananke) and Mali GPU architectures.
-
Emulator Acceleration: Migrated simulation environments from software-based models to Cadence Palladium accelerators, significantly reducing verification time for the S9 processor GPU (S5E9810).
-
DFT & Low-level Debugging: Handled DFT (Design for Testability) using Synopsys tools and performed deep-dive assembly level debugging for ARM ELF binaries.
BS in Electrical and Electronics Engineering#
Korea University
2011 - 2018
Activities: KUCC (Computer Club) C++ Lecturer
High School#
Incheon Science High School (ISHS)
2009 - 2010
Achievement: Early Graduation (2 years) | Informatics & Math Olympiad
Get in touch#
다양한 방식으로 저와 연락할 수 있습니다.
PGP Public Key#
안전한 통신을 위해 다음 PGP 공개 키를 사용합니다.
-----BEGIN PGP PUBLIC KEY BLOCK-----
mDMEaO0QbhYJKwYBBAHaRw8BAQdAdLjOjbCunshoKBEs/eIEBdJbFXMd24mf6qke
94R7YK20FWFsZXBoXzM2MTEgPGFAaGo0Lml0PohyBBMWCAAaBAsJCAcCFQgCFgEC
GQEFgmjtEG4CngECmwMACgkQGUuxXPxxLpgAFQD+JAGV7xNNm8TeqtkT2FET67Ea
+WiWQUJiFV0CGoRdBu4A/1OxX+wwAtgBQcuVnNT3S4d4BVhnlZM1CzHkdqSqym4C
uDgEaO0QbhIKKwYBBAGXVQEFAQEHQHd2XZBmNM4x9H0vcFH7/9aJIoItDYX2YeCi
aGE6f/gGAwEIB4hhBBgWCAAJBYJo7RBuApsMAAoJEBlLsVz8cS6Y6KQA/2l9u7/g
4TbH9pRDEAIRpe+pJQNv6VQqne2H6p3oz1SSAP4+29EBMDQ4DzDxw+06hSLKjZWs
qzh6p+2OWW7rNfwHAw==
=BSh0
-----END PGP PUBLIC KEY BLOCK-----이 키를 사용하여 저에게 암호화된 메시지를 보내거나, 저의 서명을 검증할 수 있습니다.