DWARF and ELF Internals
ELF 포맷 분해 — Section·Segment·Symbol Table 구조 추적
ELF 헤더, Program Header / Section Header, dynamic linking, build-id.
· 8분 읽기
elf binary
Blog
Tech articles, book reviews, and presentations.
페이지 28 / 73
Bootloader Internals
ARM64 Secondary Core Bring-up — PSCI CPU_ON 호출부터 EL1 진입까지
ARM64 secondary CPU 깨우기 — spin-table 옛 방식과 PSCI CPU_ON 표준 방식, secondary_startup 어셈블리, percpu 초기화, hotplug 흐름.
· 11분 읽기
embedded bootloader
Bootloader Internals
PSCI와 SMCCC ABI — ARM 표준 SMC 호출 규약 분석
SMCCC 호출 규약과 PSCI v1.1 ABI — function ID 구조, fast vs yielding, CPU_ON·CPU_SUSPEND, Linux PSCI driver.
· 13분 읽기
embedded bootloader
Bootloader Internals
TF-A BL31 EL3 Runtime 분석 — PSCI·SDEI·RAS dispatcher 추적
TF-A BL31의 EL3 runtime service 구조 — runtime_svc 등록 모델, vector entry, PSCI·SDEI·RAS dispatcher, SMC call latency.
· 13분 읽기
embedded bootloader
Driver-RTL Co-simulation
End-to-End Driver + RTL Co-simulation — 실전 통합 흐름
Verilator + DPI-C + Linux driver — 통합 cosim flow.
· 6분 읽기
cosim end-to-end
Driver-RTL Co-simulation
UVM C Reference Model 통합 — DUT와 황금 모델 비교 검증
UVM testbench의 reference model을 C로 — driver와 공유.
· 8분 읽기
uvm reference-model
Driver-RTL Co-simulation
C로 구현하는 Bus Functional Model — Driver 검증용 BFM 설계
Driver와 RTL 사이의 protocol-aware adapter.
· 6분 읽기
bfm axi
Driver-RTL Co-simulation
SystemC TLM 분석 — Transaction-Level Modeling으로 빠른 검증
Cycle-accurate 너머 — high-speed virtual platform.
· 8분 읽기
systemc tlm
Driver-RTL Co-simulation
CocoTB 분석 — Python으로 작성하는 RTL Testbench
Python coroutine으로 RTL testbench — productivity gain.
· 6분 읽기
cocotb python
Driver-RTL Co-simulation
Verilator 분석 — Open Source SystemVerilog Simulator
RTL → C++ — driver code와 link되는 가장 빠른 simulator.
· 7분 읽기
verilator simulator